<!--
// browser test:

agent = navigator.userAgent
browserVer = 2
if (agent.indexOf("a/3",6) != -1) {browserVer = 1}
if (agent.indexOf("a/4",6) != -1) {browserVer = 1}

var offID;
var offObj;


// preload universal images:

if (browserVer == 1) { 

blank1 = new Image();
blank1.src = "./img/blank.gif"; 

home1 = new Image();
home1.src = "./img/home_b.gif"; 
home2 = new Image();
home2.src = "./img/home_a.gif";

news1 = new Image();
news1.src = "./img/news_b.gif"; 
news2 = new Image();
news2.src = "./img/news_a.gif";

prod1 = new Image();
prod1.src = "./img/prod_b.gif"; 
prod2 = new Image();
prod2.src = "./img/prod_a.gif";

dienst1 = new Image();
dienst1.src = "./img/dienst_b.gif"; 
dienst2 = new Image();
dienst2.src = "./img/dienst_a.gif";

find1 = new Image();
find1.src = "./img/find_b.gif"; 
find2 = new Image();
find2.src = "./img/find_a.gif";

team1 = new Image();
team1.src = "./img/team_b.gif"; 
team2 = new Image();
team2.src = "./img/team_a.gif";

email1 = new Image();
email1.src = "./img/email_b.gif"; 
email2 = new Image();
email2.src = "./img/email_a.gif";

offID = 'blank';
offObj = 'blank1';
}

function hiLite(imgDocID,imgObjName) {

// manages mouseOver animations
//   imgDocID - the name or number of the document image to be replaced
//   imgObjName - the name of the image object to be swapped in


   if (browserVer == 1) {
	   if (imgDocID != offID) {
		   document.images[imgDocID].src = eval(imgObjName + ".src")
	   }
   }
}
// -->