function color(name) {
	document.getElementById(name).style.color = "#CF0F25";
}
	

function out(name) {
	document.getElementById(name).style.color = "#ffffff";
}