/* grüne Knöpfe gegen blaue austauschen */

    Normal1 = new Image();
    Normal1.src = "dkblu-sm.gif";
    Highlight1 = new Image();
    Highlight1.src = "dkblu-sm_high.gif";

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