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


var results_location = "search.htm";


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


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