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