document.onmouseover = function(evt) { TabOver(evt) };
document.onmouseout  = function(evt) { TabOut(evt) };
document.onmousedown = function(evt) { TabDown(evt) };
document.onmouseup   = function(evt) { TabUp(evt) };

var eOld = null;

function TabOver(evt) {
  if (!window.event) {
  		var eSrc = evt.target; }
  else { 
  		var eSrc = window.event.srcElement;} 
 
  if (eSrc.className == "tab-button") {
    eSrc.className = "tab-button2";
  }
  if (eSrc.className == "tab-button4") {
    eSrc.className = "tab-button3";
  }
}
function TabOut(evt) {
  if (!window.event) {
  		var eSrc = evt.target; }
  else { 
  		var eSrc = window.event.srcElement;} 
 		
  if (eSrc.className == "tab-button2") {
    eSrc.className = "tab-button";
  }
  if (eSrc.className == "tab-button3") {
    eSrc.className = "tab-button4";
  }
}
function TabDown(evt) {
  if (!window.event) {
  		var eSrc = evt.target; }
  else { 
  		var eSrc = window.event.srcElement;} 
 		
  if (eSrc.className == "tab-button2") {
    eSrc.className = "tab-button3";
  }
}
function TabUp(evt) {
  if (!window.event) {
  		var eSrc = evt.target; }
  else { 
  		var eSrc = window.event.srcElement;} 
 		
  if (eSrc.className == "tab-button3") {
    if (eOld != null) {
      eOld.className = "tab-button";
      var eTxt2 = eval("txt" + eOld.id)
      eTxt2.style.display = "none";
    }
    eOld = eSrc;
    var eTxt = eval("txt" + eSrc.id)
    eSrc.className = "tab-button3";
    eTxt.style.display = "";
  }
}
function setActiveTab(eSrc) {
  eOld = eSrc;
  eOld.className = "tab-button4"
  var eTxt = eval("txt" + eOld.id)
  eTxt.style.display = "";
}
