function Bildwechsel(Bildnr,Bildobjekt)
 {document.images[Bildnr].src = eval(Bildobjekt+".src")}

Normal1 = new Image(); 
Normal1.src = "grafik/men_1-a.gif"; 
Highlight1 = new Image(); 
Highlight1.src = "grafik/men_1-b.gif"; 

Normal2 = new Image(); 
Normal2.src = "grafik/men_2-a.gif"; 
Highlight2 = new Image(); 
Highlight2.src = "grafik/men_2-b.gif"; 

Normal3 = new Image(); 
Normal3.src = "grafik/men_3-a.gif"; 
Highlight3 = new Image(); 
Highlight3.src = "grafik/men_3-b.gif"; 

Normal4 = new Image(); 
Normal4.src = "grafik/men_4-a.gif"; 
Highlight4 = new Image(); 
Highlight4.src = "grafik/men_4-b.gif"; 

Normal5 = new Image(); 
Normal5.src = "grafik/men_5-a.gif"; 
Highlight5 = new Image(); 
Highlight5.src = "grafik/men_5-b.gif"; 

Normal6 = new Image(); 
Normal6.src = "grafik/men_6-a.gif"; 
Highlight6 = new Image(); 
Highlight6.src = "grafik/men_6-b.gif"; 

Normal7 = new Image(); 
Normal7.src = "grafik/men_7-a.gif"; 
Highlight7 = new Image(); 
Highlight7.src = "grafik/men_7-b.gif"; 

Normal8 = new Image(); 
Normal8.src = "grafik/men_8-a.gif"; 
Highlight8 = new Image(); 
Highlight8.src = "grafik/men_8-b.gif";