/* Animation Grafiken */
normal_01 = new Image();
normal_01.src = "images/museum.jpg";     /* erste Standard-Grafik */
screen_01 = new Image();
screen_01.src = "images/museum_scr.jpg"; /* erste Highlight-Grafik */

normal_02 = new Image();
normal_02.src = "images/kulturschmiede.jpg";     /* zweite Standard-Grafik */
screen_02 = new Image();
screen_02.src = "images/kulturschmiede_scr.jpg"; /* zweite Highlight-Grafik */

normal_03 = new Image();
normal_03.src = "images/landschaftspark.jpg";     /* dritte Standard-Grafik */
screen_03 = new Image();
screen_03.src = "images/landschaftspark_scr.jpg"; /* dritte Highlight-Grafik */

/* usw. fuer weitere Grafiken */

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