var results_location ="antwoord.htm";
function search_form(antwoord) {
	if (antwoord.d.value.length > 0) {
		document.cookie = "d=" + escape(antwoord.d.value);
		window.location = results_location;}}