// javascript voor mouseover imagewissels
if (document.images) {
	var navigatie = new Array();
	navigatie[0] = new Image; navigatie[0].src = "../images/btn_home_0.gif"
	navigatie[1] = new Image; navigatie[1].src = "../images/btn_home_1.gif"
	navigatie[2] = new Image; navigatie[2].src = "../images/btn_overinnermove_0.gif"
	navigatie[3] = new Image; navigatie[3].src = "../images/btn_overinnermove_1.gif"
	navigatie[4] = new Image; navigatie[4].src = "../images/btn_diensten_0.gif"
	navigatie[5] = new Image; navigatie[5].src = "../images/btn_diensten_1.gif"
	navigatie[6] = new Image; navigatie[6].src = "../images/btn_contact_0.gif"
	navigatie[7] = new Image; navigatie[7].src = "../images/btn_contact_1.gif"
	}

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
	}