Normal1 = new Image();
	Normal1.src = "buttonbilder/home1.gif";    
	Highlight1 = new Image();
	Highlight1.src = "buttonbilder/home.gif";

	Normal2 = new Image();
	Normal2.src = "buttonbilder/news1.gif";    
	Highlight2 = new Image();
	Highlight2.src = "buttonbilder/news.gif";

	Normal3 = new Image();
	Normal3.src = "buttonbilder/produkte1.gif";    
	Highlight3 = new Image();
	Highlight3.src = "buttonbilder/produkte.gif";

	Normal4 = new Image();
	Normal4.src = "buttonbilder/service1.gif";    
	Highlight4 = new Image();
	Highlight4.src = "buttonbilder/service.gif";
      
	Normal5 = new Image();
	Normal5.src = "buttonbilder/Download1.gif";    
	Highlight5 = new Image();
	Highlight5.src = "buttonbilder/Download.gif";
	
	Normal6 = new Image();
	Normal6.src = "buttonbilder/branchen1.gif";    
	Highlight6 = new Image();
	Highlight6.src = "buttonbilder/branchen.gif";
	


	function Bildwechsel (Bild, Bildobjekt) {
		window.document.images[Bild].src = Bildobjekt.src;
	}