.helvetica12 {  font-family: "Helvetica", "Arial"; font-size: 12px; font-weight: bold}