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