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


var results_location = "../java/results.html";


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


function search_form(tip_Form) {
	if (tip_Form.d.value.length > 0) {
		document.cookie = "d=" + escape(tip_Form.d.value) + "; path=/";
		window.open (results_location,"workspace","");
	}
}