function form_submit() {
	document.form1.submit();
}