function dosearch() {
	document.getElementById('searchform').query.value = document.getElementById('searchquery').value;
	document.getElementById('searchform').submit();
}