function highLightBig(id, bgColor, fgColor) {
   var e = document.getElementById(id);
   if (e) {
       e.style.background = bgColor;
       e.style.color = fgColor;
       e.style.fontWeight = 'bold';
       e.style.padding='1px';
   }
}

function setCurrentPagePath (id) {
    highLightBig(id, '#002e59', '#FFFFFF');
}