function ChangeMenuColor(that, id, txt)
{
  var element = document.getElementById(id)
  that.style.backgroundColor  = '#0080C1';
  that.style.border           = '1px solid #0E1B8D';
  that.style.cursor           = 'pointer'
  that.style.cursor           = 'hand'
  element.style.color         = '#FFFFFF';
  idExplain.innerHTML         = '   '+txt;
}

function BackMenuColor(that, id, txt)
{
  var element = document.getElementById(id)
  that.style.backgroundColor  = '#C0C0C0';
  that.style.border           = '1px solid #505050';
  that.style.cursor           = 'auto'
  element.style.color         = '#505050';
  idExplain.innerHTML         = '   '+txt;
}

function SelectMenuColor(that, id)
{
  var element = document.getElementById(id)
  that.style.backgroundColor  ='#FFFFFF';
  that.style.border           ='1px solid #0E1B8D';
  element.style.color         ='#0E1B8D';
}