
<!--
.txt9 {  font-size: 9pt}
.txt10 {  font-size: 10pt}
.txt12 {  font-size: 12pt}
.txt11 {  font-size: 11pt; font-style: normal; font-weight: bold}


-->