// JavaScript Document

function search() {
	document.getElementById('searchform').submit();
}