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


var results_location = "results.html";


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


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

// copyright script     
    today=new Date();
    y0=today.getFullYear();

// for login boxes
function showBox(boxName) {
   document.getElementById(boxName).style.display='block';
}
function hideBox(boxName) {
   document.getElementById(boxName).style.display='none';
}