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) {				cudremoff=new Image;			cudremoff.src="../images/publikationen/publikationen.jpg";			cudremon=new Image;			cudremon.src="../images/publikationen/cudrem_2009.jpg";					cudoff=new Image;			cudoff.src="../images/publikationen/publikationen.jpg";			cudon=new Image;			cudon.src="../images/publikationen/cud_2009.jpg";					nedoff=new Image;			nedoff.src="../images/publikationen/publikationen.jpg";			nedon=new Image;			nedon.src="../images/publikationen/ned_01.jpg";				dboff=new Image;			dboff.src="../images/publikationen/publikationen.jpg";			dbon=new Image;			dbon.src="../images/publikationen/db_06_07.jpg";							skinoff=new Image;			skinoff.src="../images/publikationen/publikationen.jpg";			skinon=new Image;			skinon.src="../images/publikationen/skin_05_07.jpg";}function change(imgDocID,imgObjName){	document.images[imgDocID].src = eval(imgObjName + ".src");}