// javascript voor mouseover imagewissels
if (document.images) {
	var navigatie = new Array();
	navigatie[0] = new Image; navigatie[0].src = "img/nav/btn_home_0.png";
	navigatie[1] = new Image; navigatie[1].src = "img/nav/btn_home_1.png";
	navigatie[2] = new Image; navigatie[2].src = "img/nav/btn_trainingen_0.png";
	navigatie[3] = new Image; navigatie[3].src = "img/nav/btn_trainingen_1.png";
	navigatie[4] = new Image; navigatie[4].src = "img/nav/btn_werkwijze_0.png";
	navigatie[5] = new Image; navigatie[5].src = "img/nav/btn_werkwijze_1.png";
	navigatie[6] = new Image; navigatie[6].src = "img/nav/btn_bureau_0.png";
	navigatie[7] = new Image; navigatie[7].src = "img/nav/btn_bureau_1.png";
	navigatie[8] = new Image; navigatie[8].src = "img/nav/btn_contact_0.png";
	navigatie[9] = new Image; navigatie[9].src = "img/nav/btn_contact_1.png";
}

function wissel_nav(num,state) {
	wissel_navPict = eval('document.btn'+num)
	if (state) wissel_navPict.src = navigatie[(num*2 + 1)].src
	else       wissel_navPict.src = navigatie[(num*2    )].src
}