var results_loc = "search.html";
function search_form(jsca_form) {
	if (jsca_form.q.value.length > 0) {
		document.cookie = "q=" + escape(jsca_form.q.value);
		window.location = results_loc;
	}
}