function submit_form(name){
	document.getElementById(name+'_form').submit();
}