.9point {  font-size: 9pt; line-height: 24px; color: #000000; text-decoration: none}
.red {  font-size: 9pt; line-height: 24px; color: #FF0000}
a {  font-size: 9pt; line-height: 24px; color: #0000FF; text-decoration: none}
.10point {  font-size: 12pt; line-height: 24px; color: #000000; text-decoration: none}