function make_search(){
	document.location.href="?dep=search&query="+document.getElementById("query").value;
}