function submitform()
{document.theform.submit();}