function clear_search_text(){
	document.getElementById("s").value='';
}