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');
    if (submit)
      return false;
  } else {
    var searchValue = searchText.value.replace(/[^A-Za-z0-9 +-]/g, "");
    searchValue = searchText.value.replace(/[ ]/g, "+");
    searchForm.action += searchValue.toLowerCase();
    searchForm.submit();
  }

}