// JavaScript Document
// para cambiar de color los links al siuar el mouse encima
function LinkOver()
{
}
LinkOver.start = function(){
	var hrefs=document.getElementsByTagName('a');
	var count = hrefs.length;
	for(i=0; i<count; i++){
		var href=hrefs[i];
		href.estilo = href.className;
		href.onmouseover = LinkOver.linktext;
		href.onmouseout = LinkOver.normaltext;
	}
}
LinkOver.linktext = function(){
	this.className = "over_"+this.className;
	if(this.className == "over_" ){
		this.className = "";
	}
}
LinkOver.normaltext = function(){
	this.className = this.estilo;
}
if (window.addEventListener)
window.addEventListener("load", LinkOver.start, false)
else if (window.attachEvent) 
window.attachEvent('onload',LinkOver.start);