.text9
{ font-size: 9pt; }