.text12 {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px; text-decoration: none}
.text10 {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10px; text-decoration: none}
.text9 {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9px; font-weight: bold; text-decoration: none}
.nav {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px; font-weight: bold; color: #000000; text-decoration: none}
a:hover {  color: #FF0000}