<!--
.style1 {color: #000000}
.style3 {color: #000000; font-weight: bold; }
.style5 {font-weight: bold}
.style6 {color: #FF0000}
.style8 {font-size: 18px}
.style9 {font-size: 18px; font-style: italic; }
body {
	background-color: #990000;
}
.style10 {font-size: 36px}
.style12 {
	font-size: 24px;
	font-weight: bold;
}
-->