function HeaderHilghts(menuid) {
    if (menuid != null) {
        document.getElementById("header" + menuid).className = "topnav-h";
    }
}

function ProjectsMenu_Hilghts(menuid) {
    if (menuid != null) {
        document.getElementById("ProjectMenu" + menuid).className = "active";
    }
}

function Projects_Head_Menu_Highlights(menuid) {
    if (menuid != null) {
        document.getElementById("ProjectHeadMenu" + menuid).className = "subnav-h";
    }
}