Normal1 = new Image();
Normal1.src = "gfx/anwendungen_en.gif";     /* erste Standard-Grafik */
Highlight1 = new Image();
Highlight1.src = "gfx/anwendungen2_en.gif"; /* erste Highlight-Grafik */

Normal2 = new Image();
Normal2.src = "gfx/entertainment_en.gif";     /* zweite Standard-Grafik */
Highlight2 = new Image();
Highlight2.src = "gfx/entertainment2_en.gif"; /* zweite Highlight-Grafik */

Normal3 = new Image();
Normal3.src = "gfx/einkaufswagen_en.gif";     /* dritte Standard-Grafik */
Highlight3 = new Image();
Highlight3.src = "gfx/einkaufswagen2_en.gif"; /* dritte Highlight-Grafik */

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