function form_submit(form_name) {
	document.getElementById(form_name).submit()
}