// menunav.js

<!-- hide script from old browsers

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(); a1.src = "javascr/a1.gif"; // Home
a2 = new Image(); a2.src = "javascr/a2.gif";
b1 = new Image(); b1.src = "javascr/b1.gif"; // File Areas
b2 = new Image(); b2.src = "javascr/b2.gif";
c1 = new Image(); c1.src = "javascr/c1.gif"; // Bookmarks
c2 = new Image(); c2.src = "javascr/c2.gif";
d1 = new Image(); d1.src = "javascr/d1.gif"; // Other Links
d2 = new Image(); d2.src = "javascr/d2.gif";
e1 = new Image(); e1.src = "javascr/e1.gif"; // About DCL
e2 = new Image(); e2.src = "javascr/e2.gif";
f1 = new Image(); f1.src = "javascr/f1.gif"; // Search
f2 = new Image(); f2.src = "javascr/f2.gif";
g1 = new Image(); g1.src = "javascr/g1.gif"; // Administration
g2 = new Image(); g2.src = "javascr/g2.gif"; 
h1 = new Image(); h1.src = "javascr/h1.gif"; // Web Services
h2 = new Image(); h2.src = "javascr/h2.gif";
i1 = new Image(); i1.src = "javascr/i1.gif"; // NT Pricing
i2 = new Image(); i2.src = "javascr/i2.gif";
j1 = new Image(); j1.src = "javascr/j1.gif"; // Network Integration
j2 = new Image(); j2.src = "javascr/j2.gif";
k1 = new Image(); k1.src = "javascr/k1.gif"; // DCL Labs
k2 = new Image(); k2.src = "javascr/k2.gif";
l1 = new Image(); l1.src = "javascr/l1.gif"; // Novell
l2 = new Image(); l2.src = "javascr/l2.gif";
m1 = new Image(); m1.src = "javascr/m1.gif"; // Unix / Linux 
m2 = new Image(); m2.src = "javascr/m2.gif";
n1 = new Image(); n1.src = "javascr/n1.gif"; // e-mail DCL
n2 = new Image(); n2.src = "javascr/n2.gif";
o1 = new Image(); o1.src = "javascr/o1.gif"; // Division of DCLLABS.NET
o2 = new Image(); o2.src = "javascr/o2.gif";
p1 = new Image(); p1.src = "javascr/p1.gif"; // RedHat Man
p2 = new Image(); p2.src = "javascr/p2.gif";
}
// p3.gif is the Penguin

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