function mySubmit() {
   document.theForm.submit()
}