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