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