    // setup test for Nav 4.0
    var isIE = false;
    var isNav = (navigator.appName.indexOf("Netscape")>=0);
    var isNav4 = false;
    var isIE4 = false;
    var is5up = false;

    if (isNav) {

        if (parseFloat(navigator.appVersion)<5) {
                isNav4=true;
                //alert("Netscape 4.x or older");
        } else {
                is5up = true;
        }
    } else {
        isIE4=true;
        isIE=true;
        if ((navigator.appVersion.indexOf("MSIE 5")>0) || (navigator.appVersion.indexOf("MSIE 6")>0)) {
                isIE4 = false;
                is5up = true;
                //alert("IE5");
        }
        if (document.all && document.getElementById) {
		   isIE4 = false;
		   is5up = true;
        }
    }
    if (isNav4){
       location.href = "/oit/gis/OIT_TravelGuide/tgNN4Redirect.html";
    }

function getCookie(name)
{
    var dc = document.cookie;
    var prefix = name + "=";
    var begin = dc.indexOf("; " + prefix);
    if (begin == -1)
    {
        begin = dc.indexOf(prefix);
        if (begin != 0) return null;
    }
    else
    {
        begin += 2;
    }
    var end = document.cookie.indexOf(";", begin);
    if (end == -1)
    {
        end = dc.length;
    }
    return unescape(dc.substring(begin + prefix.length, end));
}

function updtTripStops(){
    if (document.cookie == ""){
    } else {
       var tsCount = getCookie("TRIPSTOPS");
       if (tsCount == null || tsCount == ""){
          tsCount = "0";
       }
       document.getElementById("lblTripStops").innerHTML = tsCount;
    }
}

function show(c) {
    if (document.getElementById && document.getElementById(c)!= null)
    node = document.getElementById(c).style.display='';
    else if (document.layers && document.layers[c]!= null)
    document.layers[c].display = '';
    else if (document.all)
    document.all[c].style.display = '';
}
function hide(c) {
    if (document.getElementById && document.getElementById(c)!= null)
    node = document.getElementById(c).style.display='none';
    else if (document.layers && document.layers[c]!= null)
    document.layers[c].display = 'none';
    else if (document.all)
    document.all[c].style.display = 'none';
}
