.style11 {font-size: 9px}
.style12 {color: #000000}
.style14 {	color: #000080;
	font-size: 9pt;
	font-weight: bold;
}
.style15 {font-size: 10pt}
.style16 {color: #000080}
.style17 {color: #000080; font-size: 9px; }
.style19 {
	font-size: 10px;
	font-weight: bold;
}






/*
     FILE ARCHIVED ON 12:45:52 Jul 24, 2009 AND RETRIEVED FROM THE
     AN OPENWAYBACK INSTANCE ON 15:46:17 Sep 14, 2025.
     JAVASCRIPT APPENDED BY OPENWAYBACK, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/