.verdana10 { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9px; text-decoration: none}
.times12 { font-family: "Times New Roman", Times, serif; font-size: 12px}
.georgia12 {
	font: 12px Georgia, "Times New Roman", Times, serif;
	text-decoration: none;
}