<!--
function clear_search()
{
	document.getElementById("search_text").value = "";
}


-->