Normal1 = new Image();
Normal1.src = "pics/prod-nav.gif";     
Highlight1 = new Image();
Highlight1.src = "pics/prod-nav-a.gif"; 	

Normal2 = new Image();
Normal2.src = "pics/prod-nav2.gif";     
Highlight2 = new Image();
Highlight2.src = "pics/prod-nav2-a.gif"; 	



/* usw. fuer alle weiteren zu benutzenden Grafiken */

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