
<!--a { color: black; font-size: 18pt; font-family: "Times New Roman", Georgia, Times; text-decoration: none }
a:hover { color: black; font-size: 18pt; font-family: "Times New Roman", Georgia, Times; text-decoration: underline overline }