function validate_search_form(textbox_id, initial_textbox_value)
{
   textbox = document.getElementById(textbox_id);
   if( (textbox.value == "") || (textbox.value == initial_textbox_value) )
   {
      alert("Please enter a search string.");
      return(false);
   } // end if( (textbox.value == "") || (textbox.value == initial_textbox_value) )

   return(true);
} // end function validate_search_form(textbox_id, initial_textbox_value)