<!--
  Normal1 = new Image(); 
  Normal1.src = "benvenuto.gif"
  Highlight1 = new Image(); 
  Highlight1.src = "benvenuto1.gif"

  Normal2 = new Image(); 
  Normal2.src = "campeggio.gif"
  Highlight2 = new Image(); 
  Highlight2.src = "campeggio1.gif"

  Normal3 = new Image(); 
  Normal3.src = "pensione.gif"
  Highlight3 = new Image(); 
  Highlight3.src = "pensione1.gif"

  Normal4 = new Image(); 
  Normal4.src = "dintorni.gif"
  Highlight4 = new Image(); 
  Highlight4.src = "dintorni1.gif"

  Normal5 = new Image(); 
  Normal5.src = "itinerario.gif"
  Highlight5 = new Image(); 
  Highlight5.src = "itinerario1.gif"

  Normal6 = new Image(); 
  Normal6.src = "email.gif"
  Highlight6 = new Image(); 
  Highlight6.src = "email1.gif"


  function Bildwechsel(Bildnr,Bildobjekt)
  {
   window.document.images[Bildnr].src = Bildobjekt.src;
  }
 //-->