function TABchang(a){var c=window.setInterval(function(){var b=a.current_tab;b+1>a.tabs.length-1?b=0:b+=1;a.current_tab=b;selectTabPanel(a,b,!0)},5E3);this.node=document.getElementById(a.id);browser.addEvent(this.node,"click",function(){return window.clearInterval(c)},!1)};