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

var results_location = "results.html";

function search_form(d) {

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