Normal1 = new Image();
Normal1.src = "img/navArrow.gif";
Highlight1 = new Image();
Highlight1.src = "img/navArrowOver.gif";
function Bildwechsel (Bildnr, Bildobjekt) {
  window.document.images[Bildnr].src = Bildobjekt.src;
}