function submit_d3form(which) {
	which.form.submitted.value = 'yes';
	which.form.submit();
}