function submitsearch()
{
	document.getElementById("search_form").submit();	
}