function bildwechsel(bildnr, bildobject)
	{
	window.document.images[bildnr].src=bildobject.src;
	}
		
normal1=new Image();
normal1.src="../media/window.jpg";
highlight1=new Image();
highlight1.src="../media/openwindow.jpg";

normal2=new Image();
normal2.src="../media/datei.jpg";
highlight2=new Image();
highlight2.src="../media/dateiopen.jpg";

normal3=new Image();
normal3.src="../media/home.jpg";
highlight3=new Image();
highlight3.src="../media/homeover.jpg";