function do_search(submit) {

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

  if (searchText.value == "") {
    searchText.focus();
    alert('Please enter search text');
    if (submit)
      return false;
  } else {
    var searchValue = searchText.value.replace(/[^A-Za-z0-9 +-]/g, "");
    searchValue = searchValue.replace(/[\s]/g, "_");
    searchValue = searchValue.toLowerCase();
    document.location = '/software/' + searchValue;
return false;
    if (submit)
      return true;
  }

}