var activetab=null;

function doMouseOver(tab){
  tab.style.backgroundColor='blue';
  tab.style.cursor='hand';
}

function doMouseOut(tab){
  if ((null==activetab) || (tab.id!=activetab.id)){
    tab.style.backgroundColor='#9999ff';
  }
}

function doClick(tab,locate){
  if (null!=activetab){
    activetab.style.backgroundColor='#9999ff';
  }
  parent.mainframe.location.href=locate;
}

function setActiveTab(tabName){
  if (null!=activetab){
    doMouseOut(activetab);
  }
  activetab=document.getElementById(tabName);
  activetab.style.backgroundColor='blue';
}