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


// var results_location = "en/search.htm";


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


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