// JavaScript Document

	
function ampliarImagen(url,alt){
    document.getElementById("top_image").src = url;
    document.getElementById("top_image").alt = alt;
    }