.f1{ color: ff0000; }
   .f2{ font-weight: bold; }
   .f3{ font-size: 130%; } 
   .f4{ line-height: 130%; }
   .f5{ font-size: 10pt; }
   .f6{ font-size: 9pt; }
   .f7{ font-size: 12pt; }