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


var results_location = "nl_zoekresultaten.html";


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


function search_form(jse_Form) {
	if (jse_Form.query.value.length > 0) {
		var str = escape(jse_Form.query.value.toLowerCase());
		str = str.replace(/(%20)+/g,'+');
		
		//str = str.replace(/(&exactsearch=true|&exactsearch=false)/g, "");
		var smode = jse_Form.elements["chkbox"].checked ? 
			"&exactsearch=false" : "&exactsearch=true";

		str = str + smode;
		//document.cookie = "d=" + str;
		window.location = results_location+"?query="+str;
	}
}