function darken(target)
{
	document.getElementById(target).style.color='#000000';
}
function lighten(target)
{
	document.getElementById(target).style.color='lightgrey';
}