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

pul1off = new Image(44,70);
pul1off.src = "img/icon_kone.jpg";

pul1on = new Image(44,70);
pul1on.src = "img/icon_kone_on.jpg";

pul2off = new Image(44,70);
pul2off.src = "img/icon_fv.jpg";

pul2on = new Image(44,70);
pul2on.src = "img/icon_fv_on.jpg";

pul3off = new Image(44,70);
pul3off.src = "img/icon_bio.jpg";

pul3on = new Image(44,70);
pul3on.src = "img/icon_bio_on.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");

}}