function search_do()
{
	document.getElementById('search_form').submit();
}