.style7 {font-size: 9px}
.style8 {font-size: 12px}
.style10 {         font-size: 12px;}
.style11 {font-family: "Times New Roman", Times, serif}