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





var results_location = "main.php?page=results";






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

	}

}