agent = navigator.userAgent;

browserVer = 2;

if (agent.substring(0,7) == "Mozilla")

{if (parseInt(agent.substring(8,9)) >= 3) {browserVer = 1;} }

// preload universal images:

if (browserVer == 1) {



bot11 = new Image(115,20);

bot11.src = "img/buttons/1.gif";

bot12 = new Image(115,20);

bot12.src = "../img/buttons/1a.gif";



bot21 = new Image(89,20);

bot21.src = "../img/buttons/2.gif";

bot22 = new Image(89,20);

bot22.src = "../img/buttons/2a.gif";



bot31 = new Image(81,20);

bot31.src = "../img/buttons/3.gif";

bot32 = new Image(81,20);

bot32.src = "../img/buttons/3a.gif";



bot41 = new Image(90,20);

bot41.src = "../img/buttons/4.gif";

bot42 = new Image(90,20);

bot42.src = "../img/buttons/4a.gif";


bot51 = new Image(94,20);

bot51.src = "../img/buttons/5.gif";

bot52 = new Image(94,20);

bot52.src = "../img/buttons/5a.gif";


bot61 = new Image(95,20);

bot61.src = "../img/buttons/6.gif";

bot62 = new Image(95,20);

bot62.src = "../img/buttons/6a.gif";


bot71 = new Image(68,20);

bot71.src = "../img/buttons/7.gif";

bot72 = new Image(68,20);

bot72.src = "../img/buttons/7a.gif";


}



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) {

document.images[imgDocID].src = eval(imgObjName + ".src")

}

}