Normal1 = new Image();
Normal1.src = "images/menu/menu02.jpg";     
Highlight1 = new Image();
Highlight1.src = "images/menu/menu02_h.jpg"; 

Normal2 = new Image();
Normal2.src = "images/menu/menu03.jpg";     
Highlight2 = new Image();
Highlight2.src = "images/menu/menu03_h.jpg"; 

Normal3 = new Image();
Normal3.src = "images/menu/menu04.jpg";     
Highlight3 = new Image();
Highlight3.src = "images/menu/menu04_h.jpg"; 

Normal4 = new Image();
Normal4.src = "images/menu/menu05.jpg";     
Highlight4 = new Image();
Highlight4.src = "images/menu/menu05_h.jpg"; 

Normal5 = new Image();
Normal5.src = "images/menu/menu06.jpg";     
Highlight5 = new Image();
Highlight5.src = "images/menu/menu06_h.jpg"; 

Normal6 = new Image();
Normal6.src = "images/menu/menu07.jpg";     
Highlight6 = new Image();
Highlight6.src = "images/menu/menu07_h.jpg"; 

Normal7 = new Image();
Normal7.src = "images/menu/menu08.jpg";     
Highlight7 = new Image();
Highlight7.src = "images/menu/menu08_h.jpg";

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

// wird zur Zeit nicht verwendet
function hoveroff () {
	Bildwechsel(3,Normal1);	
	Bildwechsel(4,Normal2);
	Bildwechsel(5,Normal3);
	Bildwechsel(6,Normal4);
	Bildwechsel(7,Normal5);
	Bildwechsel(8,Normal6);	
	Bildwechsel(9,Normal7);	
}