// javascript voor mouseover imagewisselsfunction wissel_nav(num,state) {		wissel_navPict = eval('document.but'+num)		if (state) wissel_navPict.src = navigatie[(num*2 + 1)].src		else       wissel_navPict.src = navigatie[(num*2    )].src	}function checkForm() {	f = document.forms[0];	if ( f.naam.value == "" ) {		alert("Vul asljeblieft je naam in");		f.naam.focus();		return false;	}	if ( f.email.value == "" ) {		alert("Vul asljeblieft je email-adres in");		f.email.focus();		return false;	}}function openWin(pag) {	raam = window.open(pag, "Cathys", "width=600,height=480,scrollbars=yes");	raam.focus();}