agent = navigator.userAgent

browserVer = 1

if (agent.indexOf("a/3",6) != -1) 
{   browserVer = 1  }
else 
{   if (agent.indexOf("a/4",6) != -1)    {browserVer = 1}
}


if (browserVer == 1) {
	
			reisenoff=new Image;
			reisenoff.src="images/reisen_off.gif";
			reisenon=new Image;
			reisenon.src="images/reisen_over.gif";


			termine_09off=new Image;
			termine_09off.src="images/termine_09_off.gif";
			termine_09on=new Image;
			termine_09on.src="images/termine_09_over.gif";


			personenoff=new Image;
			personenoff.src="images/personen_off.gif";
			personenon=new Image;
			personenon.src="images/personen_over.gif";	


			galerieoff=new Image;
			galerieoff.src="images/galerie_off.gif";
			galerieon=new Image;
			galerieon.src="images/galerie_over.gif";		


			kontaktoff=new Image;
			kontaktoff.src="images/kontakt_off.gif";
			kontakton=new Image;
			kontakton.src="images/kontakt_over.gif";		


			anmeldungoff=new Image;
			anmeldungoff.src="images/anmeldung_off.gif";
			anmeldungon=new Image;
			anmeldungon.src="images/anmeldung_over.gif";		


			bildhauersommeroff=new Image;
			bildhauersommeroff.src="images/bildhauersommer_off.gif";
			bildhauersommeron=new Image;
			bildhauersommeron.src="images/bildhauersommer_over.gif";	
}
function change(imgDocID,imgObjName)
{
	document.images[imgDocID].src = eval(imgObjName + ".src");
}