<!--
function color(id, color)
{
	element=document.getElementById(id);
	element.style.color=color;
}
//-->