function highlightPageMenuItem(a)
            {
                var thisElementName = "itemBullet_" + a;
                showPageMenuBullet(thisElementName);
            }
            
            function showPageMenuBullet(b)
            {
                var thisElement = document.getElementById(b);
                
                thisElement.style.color="darkorange";
                //thisElement.style.display="block";
                thisElement.style.visibility="visible";
            }

            function unHighlightPageMenuItem(a)
            {
                var thisElementName = "itemBullet_" + a;
                hidePageMenuBullet(thisElementName);
            }
            
            function hidePageMenuBullet(b)
            {
                var thisElement = document.getElementById(b);
                thisElement.style.color="white";
                //thisElement.style.display="none";
                thisElement.style.visibility="hidden";
            }