function submitSearch()
{  if (document.SearchForm.SearchBox.value != "") document.SearchForm.submit();
}

function checkNavEnter(e)
{  var characterCode;

   if(e && e.which)
   {  e = e;
      characterCode = e.which;
   }
   else
   {  e = event;
      characterCode = e.keyCode;
   }

   if(characterCode == 13)
   {  submitSearch();  
      return false;
   }
   else
   {  return true; 
   }
}