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


var new_location = "pro_results.htm";


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


function search_pro() {
	var form = window.document.pro;
	
	if (form.d.value.length > 0) {
		SetCookie("d", form.d.value);
		window.location.href = new_location;		
	}
}