//<!-- den Code vor Browsern verstecken, die kein JavaScript koennen
      if(document.images) {
        var grafik = new Image()
        grafik.src = "images/nav/home.gif"
        grafik.src = "images/nav/quad2.gif"
        grafik.src = "images/nav/quado2.gif"
        grafik.src = "images/nav/quadg2.gif"
        grafik.src = "images/nav/s.gif"
        grafik.src = "images/nav/so.gif"
        grafik.src = "images/nav/pfeill.gif"
        grafik.src = "images/nav/pfeillo.gif"
        grafik.src = "images/nav/pfeilt.gif"
        grafik.src = "images/nav/pfeilto.gif"
      }
      // hier wird der Bildwechsel vorgenommen - nicht veraendern!
      function change(strBildname, strGrafikname) {
        if(document.images) {
          document.images[strBildname].src = "images/nav/"+strGrafikname+".gif"
        }
      }
    //-->