function submit_form(form_name) { 
	
	document.getElementById(form_name).submit();
	f.submit();

}