// Scripts de la página de inicio

logo1=new Image();
logo2=new Image();

logo1.src="imagenes/logotipos/bonaventura1.png";
logo2.src="imagenes/logotipos/bonaventura2.png";

function xlogo(x) {window.document['logo'].src=x.src;}