.style1 {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	color: #0000CC;
}
.style2 {color: #0000CC}
.style12 {
	font-family: "Times New Roman", Times, serif;
	color: #000066;
}
.style15 {
	font-size: 20px;
	font-style: italic;
	font-weight: bold;
}
.style17 {
	font-size: 24px;
	font-weight: bold;
	color: #003300;
}
.style19 {color: red}
.style20 {
	font-size: 20px;
	font-weight: bold;
}