<!--
// check if the browser is Navigator 3 or higher:
agent = navigator.userAgent
browserVer = 2
if ((agent.indexOf("a/3",6) > -1) || (agent.indexOf("a/4",6) > -1))
{browserVer = 1}

// preload images:
if (browserVer == 1) {

planeon = new Image(46,55);
planeon.src = "images/plane.gif";

planeoff = new Image(46,55);
planeoff.src = "images/plane_blank.gif";

}

function hiLite(imgDocID,imgObjName) {

if (browserVer == 1) {
document.images[imgDocID].src = eval(imgObjName + ".src")
}}

// -->