// =============================================================
// searchTerm
//   Automated search within a page.
//
function searchTerm(term) {
	var theform = document.getElementById("searchform");
	
	document.getElementById("search_string").value = term;
	theform.submit();  
}