Normal1 = new Image();
Normal1.src = "/images/intern/pfeil_weiss.gif";     /* erste Standard-Grafik */
Highlight1 = new Image();
Highlight1.src = "/images/intern/pfeil_rot.gif"; /* erste Highlight-Grafik */


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