document.write("") _dwrite(""); function _dwrite(string) {document.write(string);} /* FILE ARCHIVED ON 14:04:18 Dec 26, 2005 AND RETRIEVED FROM THE INTERNET ARCHIVE ON 14:57:20 Jul 12, 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: 581.719 (3) esindex: 0.007 captures_list: 599.95 CDXLines.iter: 11.527 (3) PetaboxLoader3.datanode: 151.602 (4) exclusion.robots: 0.147 exclusion.robots.policy: 0.134 RedisCDXSource: 1.989 PetaboxLoader3.resolve: 1230.509 (2) load_resource: 911.024 */