function submit_form(form_name, hidden_value) {
	document.getElementById(form_name).hidden_field.value=hidden_value;
	document.getElementById(form_name).submit();
}