document.write("") _dwrite(""); function _dwrite(string) {document.write(string);} /* FILE ARCHIVED ON 05:30:17 Mar 26, 2015 AND RETRIEVED FROM THE INTERNET ARCHIVE ON 09:50:53 Nov 08, 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: 50.062 (3) esindex: 0.009 captures_list: 65.514 CDXLines.iter: 10.566 (3) PetaboxLoader3.datanode: 57.851 (4) exclusion.robots: 0.236 exclusion.robots.policy: 0.221 RedisCDXSource: 1.578 PetaboxLoader3.resolve: 33.159 load_resource: 63.006 */