.text9 {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: x-large;
	font-style: normal;
	font-weight: bolder;
	font-variant: normal;
	color: #FF0000;
}
.text10 {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-style: normal;
	font-weight: bold;
	font-variant: normal;
	color: #0000FF;
	font-size: 24px;
}