Normal1 = new Image();
Normal1.src = "sudokud.gif";     /* erste Standard-Grafik */
Highlight1 = new Image();
Highlight1.src = "sudokue.gif"; /* erste Highlight-Grafik */

Normal2 = new Image();
Normal2.src = "schmackesd.gif";     /* zweite Standard-Grafik */
Highlight2 = new Image();
Highlight2.src = "schmackese.gif"; /* zweite Highlight-Grafik */

Normal3 = new Image();
Normal3.src = "discimpd.gif";     /* dritte Standard-Grafik */
Highlight3 = new Image();
Highlight3.src = "discimpe.gif"; /* dritte Highlight-Grafik */

Normal4= new Image();
Normal4.src = "fillnavid.gif";     /* dritte Standard-Grafik */
Highlight4 = new Image();
Highlight4.src = "fillnavie.gif"; /* dritte Highlight-Grafik */

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