function formSubmit(formID) {
  document.getElementById(formID).submit();
}