.style4 {
	color: #0066FF;
	font-weight: bold;
}
.style5 {color: #000000; }
.style6 {color: #FF0000}
.style7 {
	font-size: x-large;
	color: #0000CC;
}
.style9 {color: #0066FF; font-weight: bold; font-style: italic; }
.style11 {font-size: 20px; color: #0000CC; }
.style13 {color: #0066FF; font-weight: bold; font-style: italic; font-size: large; }
.style14 {
	font-size: xx-large;
	color: #000099;
}
.style15 {font-size: 24px}