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) {
	
			praktikumoff=new Image;
			praktikumoff.src="images/kontakt/praktikum_off.png";
			praktikumon=new Image;
			praktikumon.src="images/kontakt/praktikum_over.png";

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