p            { font-family: verdana; color: #000000; font-weight: bold; font-size: smaller }
a:hover { color: #FF0000 }

/*
     FILE ARCHIVED ON 07:34:56 Feb 04, 2007 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 09:14:06 Aug 05, 2026.
     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):
  captures_list: 0.977
  exclusion.robots: 0.081
  exclusion.robots.policy: 0.059
  esindex: 0.022
  cdx.remote: 44.775
  LoadShardBlock: 405.525 (3)
  PetaboxLoader3.datanode: 171.548 (4)
  PetaboxLoader3.resolve: 227.846 (2)
  load_resource: 356.241
*/