function highlight(anch) {
	anch.style.color="#cc0000";
}
function lowlight(anch) {
	anch.style.color="#000000";
}