// ---------- script properties ----------


var results_location = "search.php";


// ---------- end of script properties ----------


function searchInput(searchData) {
  if (searchData.d.value.length > 0) {
    document.cookie = "d=" + escape(searchData.d.value);
    window.location = results_location;
  }
}