document.write("") _dwrite(""); function _dwrite(string) {document.write(string);} /* FILE ARCHIVED ON 07:41:45 Mar 28, 2016 AND RETRIEVED FROM THE INTERNET ARCHIVE ON 09:50:51 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: 75.93 (3) esindex: 0.006 captures_list: 93.173 CDXLines.iter: 12.016 (3) PetaboxLoader3.datanode: 77.114 (4) exclusion.robots: 0.197 exclusion.robots.policy: 0.184 RedisCDXSource: 1.724 PetaboxLoader3.resolve: 25.708 load_resource: 33.787 */