.style18 {
	font-size: large;
}
.style19 {
	font-size: medium;
	font-weight: bold;
}
.style16 {
	color: #0000FF;
	font-size: xx-small;
}
.style17 {
	font-size: 1.5em;
}