Normal1 = new Image();
Normal1.src = "randr.gif";
Highlight1 = new Image();
Highlight1.src = "pfeilr.png";

Normal2 = new Image();
Normal2.src = "randl.gif";
Highlight2 = new Image();
Highlight2.src = "pfeill.png";

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