Normal1 = new Image();
Normal1.src = "img/250mittel.png";     /* erste Standard-Grafik */
Highlight1 = new Image();
Highlight1.src = "img/250roll.png"; /* erste Highlight-Grafik */

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