.style12 {color: #FF0000}
.style15 {
	font-size: 18px;
	font-family: "Courier New", Courier, mono;
}
.style17 {font-size: 12px}