// ---------- 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;
    }
    }