a:hover {  color: #333333; text-decoration: underline overline}
a:visited {  color: #990000}
.unnamed2 { font-size: 12px; line-height: 200%}
.up {
	vertical-align: super;
	font-size: 10px;
}
.unnamed1 {  font-size: 12px; line-height: 180%}