.content { font-size: 11pt; font-family: Arial, Tahoma }
.footertext { font-size: 9pt; font-family: Arial, Tahoma }
.head1 { color: #900; font-weight: bold; font-size: 18pt; font-family: Arial, Tahoma }
.head2 { color: #900; font-weight: bold; font-size: 15pt; font-family: Arial, Tahoma }
.redtext { color: #900 }
p { font-size: 11pt; font-family: Arial, Tahoma }
td { font-size: 11pt; font-family: Arial, Tahoma }
/*
     FILE ARCHIVED ON 13:23:17 Dec 01, 2001 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 14:23:10 May 11, 2021.
     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):
  load_resource: 135.145
  PetaboxLoader3.datanode: 219.33 (4)
  exclusion.robots: 0.426
  exclusion.robots.policy: 0.409
  CDXLines.iter: 18.862 (3)
  captures_list: 215.15
  esindex: 0.017
  LoadShardBlock: 181.371 (3)
  PetaboxLoader3.resolve: 36.339
  RedisCDXSource: 9.089
*/