// JavaScript Document


 color = "#EEB23B";
 color_over = "#4870e1";
 function cambiaTitulo(elemento,col){
	 		ele = document.getElementById(elemento);
			ele.style.color=col;
 }