if (document.images) {
   // Bilder werden in den Speicher geladen
   var Grafik = new Image()
   Grafik.src = "/images/nav/quad2.gif"
   Grafik.src = "/images/nav/quado2.gif"
   Grafik.src = "/images/nav/quadg2.gif"
   Grafik.src = "/images/nav/pfeill.gif"
   Grafik.src = "/images/nav/pfeillo.gif"
}

function change(strBildname, strGrafikname) {
   if (document.images) {
     document.images[strBildname].src = "/images/nav/" + strGrafikname + ".gif"
   }
}