Normal1 = new Image();
    Normal1.src = "./pic/icon_crx_normal.gif";
    Highlight1 = new Image();
    Highlight1.src = "./pic/icon_crx_high.gif";

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