//Used later to manipulate the graphical radio boxes
function tick(what) {
	var theLocation = 
		"?search_string="+document.search.search_string.value+
		"&search_type="+what+"&page_id="+document.search.page_id.value;
	window.location = theLocation;		
}