// tasktab function setTab(name,cursel,n){ for(i=1;i<=n;i++){ var menu=document.getElementById(name+i); var con=document.getElementById("con_"+name+"_"+i); menu.className=i==cursel?"hover":""; con.style.display=i==cursel?"block":"none"; } } /* FILE ARCHIVED ON 18:59:33 Feb 22, 2016 AND RETRIEVED FROM THE INTERNET ARCHIVE ON 15:07:41 Jul 11, 2018. JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE. ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C. SECTION 108(a)(3)). */ /* playback timings (ms): LoadShardBlock: 238.231 (3) esindex: 0.01 captures_list: 255.189 CDXLines.iter: 12.948 (3) PetaboxLoader3.datanode: 94.022 (4) exclusion.robots: 0.179 exclusion.robots.policy: 0.168 RedisCDXSource: 0.561 PetaboxLoader3.resolve: 554.277 (2) load_resource: 446.482 */