<!-- den Code vor alten Browsern verstecken

    function change(strBildname, strGrafikname) {

      // natuerlich nur, wenn Bilder eingeschaltet sind
        if (document.images) {
            document.images[strBildname].src = "/images/" + strGrafikname + ".gif"
        }
    }

// -->