function onTabMouseOver(tab)
{ tab.className = "tabh"; }

function onTabMouseLeave(tab)
{ tab.className = "tabd"; }

function onTabMouseClick(url)
{ document.location = url; }