Normal1 = new Image(); 
Normal1.src = "../grafik/wolf.gif";
Highlight1 = new Image(); 
Highlight1.src = "../grafik/wolf1.gif";

Normal2 = new Image(); 
Normal2.src = "../grafik/links1.gif";
Highlight2 = new Image(); 
Highlight2.src = "../grafik/links.gif";

Normal3 = new Image(); 
Normal3.src = "../grafik/inhalt.gif";
Highlight3 = new Image(); 
Highlight3.src = "../grafik/inhalt1.gif";

Normal4 = new Image(); 
Normal4.src = "../grafik/rechts1.gif";
Highlight4 = new Image(); 
Highlight4.src = "../grafik/rechts.gif";


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

function fensterOeffnen( fensterURL, fensterTarget, fensterOptionen ) {
 window.open( '', fensterTarget, fensterOptionen );
 return window.open( fensterURL, fensterTarget, fensterOptionen );
 }