var resultURL = "searchResults.html";  // URL of page that loads the results

function search(search_form) {
	if (search_form.terms.value.length > 0) {
		document.cookie = "z=" + escape(search_form.terms.value);
		window.location = resultURL;
	}
}