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