function submitform()
{
	document.search.submit();
}

