// JavaScript Document

function do_search(searchword){
	var obj = document.getElementById("hidden_search");
	obj.value = searchword;
	document.search_form.submit();
}