function DoCRSearch()
{
	//get value of textbox and URL encode it
	var obj = document.getElementById("CRSearchString");
	var strSearch = obj.value;
	strSearch = escape(strSearch);

	//make sure we don't have empty string
	if (strSearch == "")
	    alert("Voer eerst een zoekterm in!");
	else
	{    	

	//redirect to search page, adding on target URL and search string as querystring parameters
	document.location.href = "/zoeken/results.aspx?k=" + strSearch;
        } //end else
} //end function

function searchKeyPress(e) {
	   // look for window.event in case event isn't passed in
	    if (window.event) { 
	    	e = window.event; 
	    }                
	    if (e.keyCode == 13) {                        
	    	document.getElementById('onetIDGoSearch').click();                
	    }
}