// javascript voor mouseover imagewisselsif (document.images) {	var navigatie = new Array();	navigatie[0] = new Image; navigatie[0].src = "img/nav/btn_portfolio_0.png";	navigatie[1] = new Image; navigatie[1].src = "img/nav/btn_portfolio_1.png";	navigatie[2] = new Image; navigatie[2].src = "img/nav/btn_informatie_0.png";	navigatie[3] = new Image; navigatie[3].src = "img/nav/btn_informatie_1.png";	navigatie[4] = new Image; navigatie[4].src = "img/nav/btn_links_0.png";	navigatie[5] = new Image; navigatie[5].src = "img/nav/btn_links_1.png";	navigatie[6] = new Image; navigatie[6].src = "img/nav/btn_contact_0.png";	navigatie[7] = new Image; navigatie[7].src = "img/nav/btn_contact_1.png";	navigatie[8] = new Image; navigatie[8].src = "img/nav/bt_affiches_0.png";	navigatie[9] = new Image; navigatie[9].src = "img/nav/bt_affiches_1.png";	navigatie[10] = new Image; navigatie[10].src = "img/nav/bt_flyers_0.png";	navigatie[11] = new Image; navigatie[11].src = "img/nav/bt_flyers_1.png";	navigatie[12] = new Image; navigatie[12].src = "img/nav/bt_logo_0.png";	navigatie[13] = new Image; navigatie[13].src = "img/nav/bt_logo_1.png";	navigatie[14] = new Image; navigatie[14].src = "img/nav/bt_huisstijlen_0.png";	navigatie[15] = new Image; navigatie[15].src = "img/nav/bt_huisstijlen_1.png";	navigatie[16] = new Image; navigatie[16].src = "img/nav/bt_cd_0.png";	navigatie[17] = new Image; navigatie[17].src = "img/nav/bt_cd_1.png";	navigatie[18] = new Image; navigatie[18].src = "img/nav/bt_diversen_0.png";	navigatie[19] = new Image; navigatie[19].src = "img/nav/bt_diversen_1.png";}function wissel_nav(num,state) {	wissel_navPict = eval('document.bt'+num)	if (state) wissel_navPict.src = navigatie[(num*2 + 1)].src	else       wissel_navPict.src = navigatie[(num*2    )].src}
