function changeColor(id, over)
{
	if (over)
		document.getElementById(id).style.backgroundColor = "#D0D0D0";
	else
		document.getElementById(id).style.backgroundColor = "#F0F0F0";
	
}