.f9 {  font-size: 9pt; color: #000000}