// JavaScript Document


function changeFontcolor(divFont)
{
	
	var font = document.getElementById(divFont);
	font.style.color='#DA0303';
}

function originalFontcolor(divFont)
{
	
	var font = document.getElementById(divFont);
	font.style.color='#FEFEFE';
}