// 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
	}