function formSubmit() { document.getElementById("myForm").submit() }