<!--
    Normal1 = new Image(); 
    Normal1.src = "IMAGE/m1.jpg"; 
    Highlight1 = new Image(); 
    Highlight1.src = "IMAGE/m1a.jpg"; 

    Normal2 = new Image(); 
    Normal2.src = "IMAGE/m2.jpg"; 
    Highlight2 = new Image(); 
    Highlight2.src = "IMAGE/m2a.jpg";

    Normal3 = new Image(); 
    Normal3.src = "IMAGE/m3.jpg"; 
    Highlight3 = new Image(); 
    Highlight3.src = "IMAGE/m3a.jpg"; 

    Normal4 = new Image(); 
    Normal4.src = "IMAGE/m4.jpg"; 
    Highlight4 = new Image(); 
    Highlight4.src = "IMAGE/m4a.jpg";

    Normal5 = new Image(); 
    Normal5.src = "IMAGE/m5.jpg"; 
    Highlight5 = new Image(); 
    Highlight5.src = "IMAGE/m5a.jpg"; 

    Normal6 = new Image(); 
    Normal6.src = "IMAGE/m6.jpg"; 
    Highlight6 = new Image(); 
    Highlight6.src = "IMAGE/m6a.jpg";

    Normal7 = new Image(); 
    Normal7.src = "IMAGE/m7.jpg"; 
    Highlight7 = new Image(); 
    Highlight7.src = "IMAGE/m7a.jpg"; 

    Normal8 = new Image(); 
    Normal8.src = "IMAGE/m8.jpg"; 
    Highlight8 = new Image(); 
    Highlight8.src = "IMAGE/m8a.jpg";

    Normal9 = new Image(); 
    Normal9.src = "IMAGE/point.jpg"; 
    Highlight9 = new Image(); 
    Highlight9.src = "IMAGE/pointa.jpg";

    function Bildwechsel(name,Bildobjekt)
    {
     window.document.images[name].src = Bildobjekt.src;
    }
-->