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