function changeColor(element, newcolor) {
	document.getElementById(element).style.color=newcolor;
}