// JavaScript Document

function abrir(destino) {
	top.document.getElementById("contenedor").src = destino;
}

function imagen(destino) {
	top.document.getElementById("imagen").src = "imgs/" + destino;
}