function CheckAndSubmit()
{
// Check user has entered text:
if (window.document.searchform.SearchText.value == "") {
  alert("You must enter text to search for.");
  window.document.searchform.SearchText.focus();
  window.document.searchform.SearchText.blur();
  window.document.searchform.SearchText.select();
  return false;
  }
window.document.searchform.submit();
}