{
	document.body.onmouseover=changeColor;
	document.body.onmouseout=oldColor;
}

function changeColor() {
	src = event.toElement;
	if (src.tagName == "A") {
	src.oldcol = src.style.color;
	src.style.color = "#ff0000";
	
	src.backgroundColor = src.style.backgroundColor;
	
	/* src.style.backgroundColor = "#00006a"; */
			}
				}
				
function oldColor() {
	src=event.fromElement;
	if (src.tagName == "A") {
	src.style.color = src.oldcol;
	
	/* src.style.backgroundColor = src.backgroundColor; */
				}
		    }