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