Normal1 = new Image(); 
  Normal1.src = "gif/logoklein.gif";
  Highlight1 = new Image(); 
  Highlight1.src = "gif/logokleinneg.gif";

  Normal2 = new Image(); 
  Normal2.src = "gif/button_start_hl.gif";
  Highlight2 = new Image(); 
  Highlight2.src = "gif/button_start.gif";

  Normal3 = new Image(); 
  Normal3.src = "gif/button_zimmer_hl.gif";
  Highlight3 = new Image(); 
  Highlight3.src = "gif/button_zimmer.gif";

  Normal4 = new Image(); 
  Normal4.src = "gif/button_restaurant_hl.gif";
  Highlight4 = new Image(); 
  Highlight4.src = "gif/button_restaurant.gif";

  Normal5 = new Image(); 
  Normal5.src = "gif/button_wellness_hl.gif";
  Highlight5 = new Image(); 
  Highlight5.src = "gif/button_wellness.gif";

	
	Normal6 = new Image(); 
  Normal6.src = "gif/button_preise_hl.gif";
  Highlight6 = new Image(); 
  Highlight6.src = "gif/button_preise.gif";

  Normal7 = new Image(); 
  Normal7.src = "gif/button_angebote_hl.gif";
  Highlight7 = new Image(); 
  Highlight7.src = "gif/button_angebote.gif";


 	Normal8 = new Image(); 
  Normal8.src = "gif/button_buchung_hl.gif";
  Highlight8 = new Image(); 
  Highlight8.src = "gif/button_buchung.gif";


	Normal9 = new Image(); 
  Normal9.src = "gif/button_email_hl.gif";
  Highlight9 = new Image(); 
  Highlight9.src = "gif/button_email.gif";

	Normal10 = new Image(); 
  Normal10.src = "gif/button_anfahrt_hl.gif";
  Highlight10 = new Image(); 
  Highlight10.src = "gif/button_anfahrt.gif";
  
  
  	Normal11 = new Image(); 
  Normal11.src = "gif/button_gaestebuch_hl.gif";
  Highlight11 = new Image(); 
  Highlight11.src = "gif/button_gaestebuch.gif";

	
	Normal12 = new Image(); 
  Normal12.src = "gif/button_impressum_hl.gif";
  Highlight12 = new Image(); 
  Highlight12.src = "gif/button_impressum.gif";



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

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