function open_search()
{
	document.getElementById("search_div").style.display="block";
	document.forms.search_div.elements["query"].value="";
	document.forms.search_div.elements["query"].focus();
}

function close_search()
{
	document.getElementById("search_div").style.display="none";
}