// JavaScript Document
function ChangeFont(GET,GET1,GET2,GET3,GET4,GET5,GET6,GET7,GET8)
{
	document.getElementById(GET).style.background = "#dfe799";
	document.getElementById(GET1).style.background = "#ffffff";
	document.getElementById(GET2).style.background = "#ffffff";
	document.getElementById(GET3).style.background = "#ffffff";
	document.getElementById(GET4).style.background = "#ffffff";
	document.getElementById(GET5).style.background = "#ffffff";
	document.getElementById(GET6).style.background = "#ffffff";
	document.getElementById(GET7).style.background = "#ffffff"; 
	document.getElementById(GET8).style.background = "#ffffff";
}