////////////////////////// MAIN MENU ///////////////////////////////
function HL(el_id, prefix)
{
  var e = document.getElementById(el_id);
  e.style.backgroundColor = "#535F73";
  //e.style.borderColor = "gray";
} 

function UHL(el_id, prefix)
{
  var e = document.getElementById(el_id);
  e.style.backgroundColor = "#3F4B5C";
  //e.style.borderColor = "#4F5E73";
}