var isPreload = "true";
            function highlightNav(navelem)
            {
                //alert(navelem);
                if (navelem == highLink & isPreload=="false") {return;}
                var activeNav=document.getElementById(navelem);
                var activeNava=document.getElementById(navelem + 'a');
                var typ = activeNav.className;
                if (typ == highlight)
                {
                    activeNav.className=normal;
                    activeNava.className=normala;
                }
                else
                {
                    activeNav.className = highlight;
                    activeNava.className = highlighta;
                }
                isPreload = "false";
            }
            
            
            var highlight = "nav-hi";
            var highlighta = "nav-a-hi";
            var normal = "nav-lo";
            var normala = "nav-a-lo";
            var highLink = "";
            function SetDefaultHighlight()
            {
                if (highLink == "")
                {
                    return;
                }
                // set the link to be highlighted
              // alert("highlighting " + highLink);
                highlightNav(highLink);
            }