function SetTopNavMarker(theId){
        document.getElementById("HeaderFrame").contentDocument.getElementById(theId).className = "TopNavMarkerActive"
        }