.style10 {font-family: "Times New Roman", Times, serif}
.style11 {font-family: "Times New Roman", Times, serif; font-weight: bold; }
.style12 {font-size: medium; font-family: "Times New Roman", Times, serif;}
.style13 {
	font-family: "Times New Roman", Times, serif;
	font-weight: bold;
	color: #003399;
	font-size: 120%;
}
.style15 {
	color: #003399;
	font-weight: bold;
}