off1 = new Image(); 
	  off1.src = "navi_infotainer.gif";
	  on1 = new Image(); 
	  on1.src = "navi_infotainer.gif";

	  off2 = new Image(); 
	  off2.src = "images/navi_pool.gif";
	  on2 = new Image(); 
	  on2.src = "images/navi_pool.gif";

	  off3 = new Image(); 
	  off3.src = "images/navi_service.gif";
	  on3 = new Image(); 
	  on3.src = "images/navi_service.gif";

	  off4 = new Image(); 
	  off4.src = "images/navi_referenzen.gif";
	  on4 = new Image(); 
	  on4.src = "images/navi_referenzen.gif";

	  off5 = new Image(); 
	  off5.src = "images/navi_kontakt.gif";
	  on5 = new Image(); 
	  on5.src = "images/navi_kontakt.gif";


		function change(nr,obj)
		{
		   	window.document.images[nr].src = obj.src;
		}