<!-- hide script from old browsers
    //detect browser:    
    browserName = navigator.appName;
    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 ) {
        home = new Image( 120, 24 );
        home.src = "images/home.png";
        hi_home = new Image( 120, 24 );
        hi_home.src = "images/hi_home.png";

        services = new Image( 120, 24 );
        services.src = "images/services.png";
        hi_services = new Image( 120, 24 );
        hi_services.src = "images/hi_services.png";

        scheduledepo = new Image( 120, 24 );
        scheduledepo.src = "images/scheduledepo.png"
        hi_scheduledepo = new Image( 120, 24 );
        hi_scheduledepo.src = "images/hi_scheduledepo.png"

        bostonlinks = new Image( 120, 24 );
	bostonlinks.src = "images/bostonlinks.png"
        hi_bostonlinks = new Image( 120, 24 );
	hi_bostonlinks.src = "images/hi_bostonlinks.png"
    }


    //image swapping function:
    function hiLite( imgDocID, imgObjName )
    {
        if( browserVer == 1 ) {
            document.images[ imgDocID ].src = eval( imgObjName + ".src" );
            return true;
        }
    }

//end hiding -->