Normal1 = new Image(); 
	Normal1.src = "images/ba.jpg";
Highlight1 = new Image(); 
	Highlight1.src = "images/ba1.jpg";
Normal2 = new Image(); 
	Normal2.src = "images/gi.jpg";
Highlight2 = new Image(); 
	Highlight2.src = "images/gi1.jpg";
Normal3 = new Image(); 
	Normal3.src = "images/an.jpg";
Highlight3 = new Image(); 
	Highlight3.src = "images/an1.jpg";
function Bildwechsel(Bildnr,Bildobjekt)
{
	window.document.images[Bildnr].src=Bildobjekt.src
}