<!-- Navigation-js -->
	Normal1 = new Image();
	Normal1.src = "images/home.gif";
	Highlight1 = new Image(); 
	Highlight1.src = "images/home-hi.gif";
	Normal2 = new Image();
	Normal2.src = "images/busreisen.gif";
	Highlight2 = new Image(); 
	Highlight2.src = "images/busreisen-hi.gif";
	Normal3 = new Image();
	Normal3.src = "images/transporte.gif";
	Highlight3 = new Image(); 
	Highlight3.src = "images/transporte-hi.gif";
	Normal4 = new Image();
	Normal4.src = "images/kontakt.gif";
	Highlight4 = new Image(); 
	Highlight4.src = "images/kontakt-hi.gif";
	Normal5 = new Image();
	Normal5.src = "images/touren.gif";
	Highlight5 = new Image(); 
	Highlight5.src = "images/touren-hi.gif";
	
	function Bildwechsel(ziel,Bildobjekt) {
	document.images[ziel].src = Bildobjekt.src;
	}
<!-- /Navigation-js -->