function set_search_mode(element, mode)  {
	var search_mode = document.getElementById("search_mode");
	search_mode.value = mode;

	var search_options = document.getElementById("search_options");
	var li_list = search_options.getElementsByTagName("li");
	for(var i=0; i<li_list.length; i++) {
		li_list[i].className = "";
	}
	
	// Set the hilighting.
	element.parentNode.className = "selected";
}