function form_submit(formname) {
	document.forms[formname].submit();
}