function submitform()
{
  document.theform.submit();
}