// Javascript for button light-up (works on IE and Firefox)

function ButtonChange(state, button) {
   var text1 = button + "1";
   var text2 = button + "2";
   var text3 = button + "3";
   var hide = "visible";
   switch (state)
   {
      case "hot":
         hide = "hidden";
         document.getElementById(button).style.background = "url(\"img/sidebar/" + button + "hot.gif\")";
         break;
      case "focus":
      case "cold":
         hide = "visible";
         document.getElementById(button).style.background = "url(\"img/sidebar/background.jpg\")";
         break;
   } 
   document.getElementById(text1).style.visibility = hide;
   document.getElementById(text2).style.visibility = hide;
   document.getElementById(text3).style.visibility = hide;
}