var timeout;
function beginDefaultTabTimer() { if (timeout != null) { endDefaultTabTimer(); } timeout = setTimeout("ActivateDefaultTab()", defaultTabTime); }
function endDefaultTabTimer() { clearTimeout(timeout); }
function GetDefaultTab() { if (document.getElementById(defaultTabId)) { return document.getElementById(defaultTabId); } else { return null; } }
function ActivateDefaultTab() { TabOver(GetDefaultTab()); }
function TabOver(_1) { SetTabActive(_1); }
function SetTabActive(_2) { var _3 = document.getElementById("tabContainer"); var _4 = _3.getElementsByTagName("a"); for (i = 0; i < _4.length; i++) { _4[i].className = (_4[i] == _2 ? "tabactive" : ""); } if (_2 != GetDefaultTab()) { GetDefaultTab().className = "defaultTabOff"; } }

var defaultTabTime = 1200; // how long it takes for the menu to revert to the default tab (milliseconds)