Normal4 = new Image(); 
  Normal4.src = "pics/nav_gr1a.jpg"; /* Griechenland normal */
  Highlight4 = new Image(); 
  Highlight4.src = "pics/nav_gr1b.jpg"; /* Griechenland highlighted */

  Normal5 = new Image(); 
  Normal5.src = "pics/nav_fh2a.jpg"; /* Ferienhaus normal */
  Highlight5 = new Image(); 
  Highlight5.src = "pics/nav_fh2b.jpg"; /* Ferienhaus highlighted  */
  
  Normal6 = new Image(); 
  Normal6.src = "pics/nav_umgeb3a.jpg"; /* Umgebung normal */
  Highlight6 = new Image(); 
  Highlight6.src = "pics/nav_umgeb3b.jpg"; /* Umgebung highlighted  */

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

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