Tauschbild01a = new Image();
      Tauschbild01a.src = "image/sprache.png";     /* normale-Grafik */
      Tauschbild01b = new Image();
      Tauschbild01b.src = "image/sprache2.png";     /* Highlight-Grafik */
          Tauschbild01c = new Image();
      Tauschbild01c.src = "image/sprache3.png";     /* Highlight-Grafik */
          Tauschbild01d = new Image();
      Tauschbild01d.src = "image/sprache4.png";     /* Highlight-Grafik */
      function Wechseln(Bildname,Tauschbildname)
      {
      document.images[Bildname].src = eval(Tauschbildname + ".src")
      }