.f12 {  font-size: 12px; text-decoration: none; line-height: 130%}
a:hover {  font-size: 12px; color: #FF0000; text-decoration: underline}
.f9 {  font-size: 10pt; line-height: 140%}