//variable assignment//

// check if the browser is Navigator 3 or higher:
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) {

img1off = new Image(100,70);
img1off.src = "home/img_base.jpg";

img1on = new Image(100,70);
img1on.src = "home/img_base_col.jpg";

img2off = new Image(100,70);
img2off.src = "home/comb_avanz.jpg";

img2on = new Image(100,70);
img2on.src = "home/comb_avanz_col.jpg";

img3off = new Image(100,70);
img3off.src = "home/distrib_proget.jpg";

img3on = new Image(100,70);
img3on.src = "home/distrib_proget_col.jpg";
}



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");

}}