font {
	font-family: Times;
	font-size: 12pt;
	font-weight: normal;
	color: #0000CC;

}