function switchBtnImages(btnIdToSwitch, isOn, lang)
  {
    document.getElementById("" + btnIdToSwitch).src = "/images/metro/" + lang + "/" + btnIdToSwitch + (isOn ? "-on" : "-off") + ".gif";
  }