.style1 {color: #666666}
.style4 {color: #000066; font-weight: bold; }
.style5 {font-size: x-large}
.style6 {color: #000066; font-weight: bold; font-size: x-large; }
.style13 {font-size: smaller}
.style15 {color: #333333}
.style17 {
	font-size: smaller;
	color: #333333;
	font-weight: bold;
}