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) {
	
			leistungoff=new Image;
			leistungoff.src="images/leistung_off.gif";
			leistungon=new Image;
			leistungon.src="images/leistung_on.gif";


			firmaoff=new Image;
			firmaoff.src="images/firma_off.gif";
			firmaon=new Image;
			firmaon.src="images/firma_on.gif";	


			referenzenoff=new Image;
			referenzenoff.src="images/referenzen_off.gif";
			referenzenon=new Image;
			referenzenon.src="images/referenzen_on.gif";


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


			
}
function change(imgDocID,imgObjName)
{
	document.images[imgDocID].src = eval(imgObjName + ".src");
}