/*
 * Cambia la imagen principal al colocar el ratón encima de una foto
 */
function cambiarImagenPrincipal(rutaImagen, alt, descripcion, numero) {
	//Cambiamos la imagen principal y su 'alt'
	document.getElementById("grande").src = rutaImagen;
	document.getElementById("grande").alt = alt;
	
	//Cambiamos el párrafo 'descripción'
	document.getElementById("descripcion").firstChild.nodeValue = descripcion;
	
	//Cambiamos el nº de imagen actual del texto 'Imagen x de y'
	document.getElementById("numeroImagen").firstChild.nodeValue = numero + 1;
}