//<scr ipt src="local.js" type="text/javascript" language="JavaScript"></scr ipt>
browserName = navigator.appName;   // detect browser
         browserVer = parseInt(navigator.appVersion);
             if (browserName == "Netscape" && browserVer >= 3) browserVer = "1";
                 else if (browserName == "Microsoft Internet Explorer" && browserVer >= 4) browserVer = "1";
             else browserVer = "2";

//preload images:
if (browserVer == 1) {
        a1 = new Image(170,40); a1.src = "a1.GIF";
        a2 = new Image(170,40); a2.src = "a2.GIF";
        b1 = new Image(170,40); b1.src = "b1.GIF";
        b2 = new Image(170,40); b2.src = "b2.GIF";
        c1 = new Image(170,40); c1.src = "c1.GIF";
        c2 = new Image(170,40); c2.src = "c2.GIF";
        d1 = new Image(170,40); d1.src = "d1.GIF";
        d2 = new Image(170,40); d2.src = "d2.GIF";
        e1 = new Image(170,40); e1.src = "e1.GIF";
        e2 = new Image(170,40); e2.src = "e2.GIF";
        f1 = new Image(170,40); f1.src = "f1.GIF";
        f2 = new Image(170,40); f2.src = "f2.GIF";
        g1 = new Image(170,40); g1.src = "g1.GIF";
        g2 = new Image(170,40); g2.src = "g2.GIF";
        h1 = new Image(170,40); h1.src = "h1.GIF";
        h2 = new Image(170,40); h2.src = "h2.GIF";
        i1 = new Image(170,40); i1.src = "i1.GIF";
        i2 = new Image(170,40); i2.src = "i2.GIF";
        j1 = new Image(170,40); j1.src = "j1.GIF";
        j2 = new Image(170,40); j2.src = "j2.GIF";
        k1 = new Image(170,40); k1.src = "k1.GIF";
        k2 = new Image(170,40); k2.src = "k2.GIF";
        m1 = new Image(170,40); m1.src = "m1.GIF";
        m2 = new Image(170,40); m2.src = "m2.GIF";
        z1 = new Image(90,23);  z1.src = "z1.GIF";
        z2 = new Image(90,23);  z2.src = "z2.GIF";
}

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

