function changemenu (sender)
{
  document.getElementById('changemenu').innerHTML = sender.getElementsByTagName('div')[0].innerHTML;
}

function blinkmenu (sender)
{
  var x = document.getElementById('topbanner').getElementsByTagName('a');
  for (i = 0; i < x.length; i++)
  {
    if (x[i].className != "language")
      x[i].style.color = 'white';
  }      
  sender.style.color = 'orange';
}

function blinkmenulanguage(sender)
{
  var x = document.getElementById('topbanner').getElementsByTagName('a');
  for (i = 0; i < x.length; i++)
  {
    if (x[i].className == "language")
    {
      x[i].style.color = 'white';
    }
  }      
  sender.style.color = 'orange';
}