document.write("") _dwrite(""); function _dwrite(string) {document.write(string);} /* FILE ARCHIVED ON 10:49:37 Dec 20, 2005 AND RETRIEVED FROM THE INTERNET ARCHIVE ON 00:56:31 Jul 13, 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: 250.406 (3) esindex: 0.011 captures_list: 268.444 CDXLines.iter: 11.585 (3) PetaboxLoader3.datanode: 241.261 (4) exclusion.robots: 0.266 exclusion.robots.policy: 0.245 RedisCDXSource: 1.763 PetaboxLoader3.resolve: 128.866 load_resource: 186.094 */