<!--
var restColor='#93AEB4';
var activeColor='#FF0000';

function currentButton(bttn,state)
{
if (!document.getElementById) return;
 if (state) {
  document.getElementById(bttn).style.background=activeColor;
 } else {
  document.getElementById(bttn).style.background=restColor; 
 }
}
//-->