function submitForm() {
	submitNamedForm('theForm');
}
function submitNamedForm(id) {
  var theform;
  if (window.navigator.appName.toLowerCase().indexOf("microsoft") > -1) {
	 theform = document.getElementById(id);
  } else {
     theform = document.forms[id];
  } 
  theform.submit();
}//