Normal1 = new Image();
   Normal1.src = "images/hotel-over.jpg";
   Highlight1 = new Image(); 
   Highlight1.src = "images/hotel.jpg";

   Normal2 = new Image(); 
   Normal2.src = "images/lasershot-over.jpg";
   Highlight2 = new Image(); 
   Highlight2.src = "images/lasershot.jpg";

   Normal3 = new Image(); 
   Normal3.src = "images/specials-over.jpg";
   Highlight3 = new Image(); 
   Highlight3.src = "images/specials.jpg";
   
   Normal4 = new Image(); 
   Normal4.src = "images/zimmer-over.jpg";
   Highlight4 = new Image(); 
   Highlight4.src = "images/zimmer.jpg";
   
   Normal5 = new Image(); 
   Normal5.src = "images/restaurant-over.jpg";
   Highlight5 = new Image(); 
   Highlight5.src = "images/restaurant.jpg";
   
   var lock = 0;
   blahgna = new Image();
   blahgna.src = Normal1.src;
   
   function Bildwechsel(Bildnr,Bildobjekt) {
	if ( lock != Bildnr ) {
	 window.document.images[Bildnr].src = Bildobjekt.src;
	 }
	}
   
   function Bildlock(Bildnr,Bildobjekt) {
    if ( lock != 0 ) {
	 window.document.images[lock].src = blahgna.src;
	}
	blahgna.src = Bildobjekt.src;
	lock = Bildnr;
	}