<!--
// myscript 

var trigger=0

// Bildernamen definieren und vorladen
if (document.images)
   {
     image_ref= new Image(150,150);
     image_ref.src="images/blank.gif";

     image2= new Image(150,150);
     image2.src="images/blankhallenbad.gif";
     image3= new Image(150,150);
     image3.src="images/blankfreibad.gif";  
     image4= new Image(150,150);
     image4.src="images/blankwhirlpool.gif";   
     image5= new Image(150,150);
     image5.src="images/blanksauna.gif";
     image6= new Image(150,150);
     image6.src="images/blanksanierung.gif";
     image7= new Image(150,150);
     image7.src="images/blanktechnik.gif";
     image8= new Image(150,150);
     image8.src="images/blankshop.gif";
     image9= new Image(150,150);
     image9.src="images/blankservice.gif";
     image10= new Image(150,150);
     image10.src="images/blankwer.gif";
     image11= new Image(150,150);
     image11.src="images/blankwo.gif";
     image12= new Image(150,150);
     image12.src="images/blankwir.gif";
   }

// Bilder wechseln
function pic_change(picName,imgName)
 {
   if (document.images)
    {
      imgOn=eval(imgName + ".src");
      document[picName].src= imgOn;
    }
 }


//-->