.times13 {
	font-family: "Times New Roman", Times, serif;
	font-size: 14px;
	line-height: 26px;
}
.times13_leading {
	font-family: "Times New Roman", Times, serif;
	font-size: 14px;
	line-height: 23px;
}
.times14 {
	font-family: "Times New Roman", Times, serif;
	font-size: 15px;
	line-height: 25px;
	color: #990000;
}
.times12 {
	font-family: "Times New Roman", Times, serif;
	font-size: 13px;
	line-height: 26px;
}
.times12leading {
	font-family: "Times New Roman", Times, serif;
	font-size: 13px;
	line-height: 23px;
}