function SetHighlightedTab (div) {
    var home = document.getElementById('NavHome')
    if (home) {
        home.className="";
    }
    var tab = document.getElementById(div);
    if (tab) {
        tab.className="selected"
    }
}