function submit_form(formname){
  document.forms[formname].submit();
}