function makeCool() {
	src = event.toElement;
	if (src.tagName == "A") {
		src.oldcol = src.style.color;
		src.style.color = "#FF0000"; 
	}
}
function makeNormal() {
	src=event.fromElement;
	if (src.tagName == "A") {
		src.style.color = src.oldcol;
	}
}

if (document.body) { //MSIE
	document.body.onmouseover=makeCool;
	document.body.onmouseout=makeNormal;
}