blank = new Image(); 
    blank.src = "images/blank_e.gif"; 
    Highlight1 = new Image(); 
    Highlight1.src = "images/wer_te.gif"; 
    Highlight2 = new Image(); 
    Highlight2.src = "images/beratung_te.gif";
    Highlight3 = new Image(); 
    Highlight3.src = "images/altlasten_te.gif";
    Highlight4 = new Image(); 
    Highlight4.src = "images/sonder_te.gif";
    Highlight5 = new Image(); 
    Highlight5.src = "images/produkte_te.gif";
    Highlight6 = new Image(); 
    Highlight6.src = "images/aktuell_te.gif";
    Highlight7 = new Image(); 
    Highlight7.src = "images/kontakt_te.gif";
   
function Bildwechsel(Bildnr,Bildobjekt)
    {
     window.document.images[Bildnr].src = Bildobjekt.src;
    }