function setCurrentPage(menuID){
    document.getElementById(menuID).style.fontWeight="bold";
}