_0_mijn_Image_1=new Image() ; _0_mijn_Image_1.src="images/butt_diensten.jpg";
_0_mijn_Image_2=new Image() ; _0_mijn_Image_2.src="images/butt_diensten1.jpg";
_0_mijn_Image_3=new Image() ; _0_mijn_Image_3.src="images/butt_diensten1.jpg";

_1_mijn_Image_1=new Image() ; _1_mijn_Image_1.src="images/butt_nieuws.jpg";
_1_mijn_Image_2=new Image() ; _1_mijn_Image_2.src="images/butt_nieuws1.jpg";
_1_mijn_Image_3=new Image() ; _1_mijn_Image_3.src="images/butt_nieuws1.jpg";

_2_mijn_Image_1 = new Image() ; _2_mijn_Image_1.src="images/butt_bedrijfsprofiel.jpg";
_2_mijn_Image_2 = new Image() ; _2_mijn_Image_2.src="images/butt_bedrijfsprofiel1.jpg";
_2_mijn_Image_3 = new Image() ; _2_mijn_Image_3.src="images/butt_bedrijfsprofiel1.jpg";

_3_mijn_Image_1 = new Image() ; _3_mijn_Image_1.src="images/butt_contact.jpg";
_3_mijn_Image_2 = new Image() ; _3_mijn_Image_2.src="images/butt_contact1.jpg";
_3_mijn_Image_3 = new Image() ; _3_mijn_Image_3.src="images/butt_contact1.jpg";

_4_mijn_Image_1 = new Image() ; _4_mijn_Image_1.src="images/butt_login.jpg";
_4_mijn_Image_2 = new Image() ; _4_mijn_Image_2.src="images/butt_login1.jpg";
_4_mijn_Image_3 = new Image() ; _4_mijn_Image_3.src="images/butt_login1.jpg";

_5_mijn_Image_1 = new Image() ; _5_mijn_Image_1.src="images/butt_home.jpg";
_5_mijn_Image_2 = new Image() ; _5_mijn_Image_2.src="images/butt_home1.jpg";
_5_mijn_Image_3 = new Image() ; _5_mijn_Image_3.src="images/butt_home1.jpg";

// onMouseOver: ////////////////////////////////////
function In_focus(naam) {
	if ( document.images[naam].geklikt != true )
		document.images[naam].src = eval ( naam + "_2" + ".src" )
}
// onMouseOut: ////////////////////////////////////
function In_rust(naam) {
	if ( document.images[naam].geklikt != true )
	document.images[naam].src = eval ( naam + "_1" + ".src" )
}
// onMouseClick: ////////////////////////////////////
var Nu_ingedrukt ; 

function Aangeklikt(naam) {

	if ( document.images[naam].geklikt != true ) { // als de button nog niet reeds was ingedrukt.
		document.images[naam].src = eval ( naam + "_3" + ".src" ) ;
		document.images[naam].geklikt = true ;

		if ( typeof (Nu_ingedrukt) != "undefined"  ) { // Als er al een andere button ingedrukt is.
			document.images[Nu_ingedrukt].src = eval ( Nu_ingedrukt + "_1" + ".src" ) ;
			document.images[Nu_ingedrukt].geklikt = false ;
		} 
	}
Nu_ingedrukt = naam
}