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