// ---------- script properties ----------
var results_location = "srchresults1.html";
// ---------- end of script properties ----------
function search_form(dl_Form) {
	if (dl_Form.d.value.length > 0) {
		document.cookie = "d=" + escape(dl_Form.d.value);
		window.location = results_location;
	}
}