body {
	background-image: url(background4.gif);
	background-repeat: repeat;
}
a:link {
	color: #000000;
}
a:visited {
	color: #000000;
}
a:hover {
	color: #999999;
}
.style1 {font-family: "Courier New", Courier, mono;
font-size="13px";
}
.style3 {font-size: 12px}
.style6 {font-size: 10px}
.style9 {font-size: 11px}
.style10 {font-size: 21px}
.style11 {font-size: 11px; color: #CC0000; }
.style12 {color: #CC0000}
.style13 {color: #CC0000; font-family: "Courier New", Courier, mono; font-size: 16px;}
.style14 {color: #666666}
.style15 {font-family: "Courier New", Courier, mono; font-size: 12px; }
.style16 {color: #CC0000}