Normal1 = new Image();
Normal1.src = "picture/button_vorwort_up.gif";     /* erste Standard-Grafik */
Highlight1 = new Image();
Highlight1.src = "picture/button_vorwort_down.gif"; /* erste Highlight-Grafik */

Normal2 = new Image();
Normal2.src = "picture/button_snapshots_up.gif";     /* zweite Standard-Grafik */
Highlight2 = new Image();
Highlight2.src = "picture/button_snapshots_down.gif"; /* zweite Highlight-Grafik */

Normal3 = new Image();
Normal3.src = "picture/button_empfehlung_up.gif";     /* dritte Standard-Grafik */
Highlight3 = new Image();
Highlight3.src = "picture/button_empfehlung_down.gif"; /* dritte Highlight-Grafik */


/* usw. fuer alle weiteren zu benutzenden Grafiken */

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