zurueck = new Image();
zurueck.src = "../i/zurueck.gif";     /* erste Standard-Grafik */
zurueckh = new Image();
zurueckh.src = "../i/zurueckh.gif"; /* erste Highlight-Grafik */

vor = new Image();
vor.src = "../i/vor.gif";     /* zweite Standard-Grafik */
vorh = new Image();
vorh.src = "../i/vorh.gif"; /* zweite Highlight-Grafik */

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