function trim(string) {
return string.replace(/(\s+$)|(^\s+)/g, "");
}

function do_search(submit) {

  var searchText = document.getElementById('search_text');
  var searchForm = document.getElementById('search_form');

  if (searchText.value == "" || searchText.value == "search..") {
    searchText.focus();
    alert('Please enter search text');
  } else {
    var searchValue = trim(searchText.value);
    var searchValue = searchText.value.replace(/[^A-Za-z0-9 +-]/g, "");
    searchValue = searchText.value.replace(/[ ]/g, "-");
    searchForm.action += searchValue.toLowerCase() + "/p1.html";
    searchForm.submit();
  }

}