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