<!--
function search_text(base_path) {
  var text

	// for default search module
  text = document.getElementById('search_text').value;

  //window.location.href=base_path + "?q=search/node/" + text;	// drupal default search
  window.location.href=base_path + "search/node/" + text;	// drupal default search

	// for trip_search module
  //text = document.getElementById('search_text').value;
  //window.location.href=base_path + "?q=trip_search" + "\&keys=" + text;	// module sql_search
}

//-->