var elemFonts = document.getElementsByTagName("FONT");
//alert(elemFonts.length);

for(var i = 0; i < elemFonts.length; i++){
	var oneElem = elemFonts[i];
	if(oneElem.color=="Red")
		oneElem.className = "redInfo";
}