function bordes(){var imagen = document.getElementById("portada1"); var divisor = document.getElementById("inicio").offsetWidth; var dividendo = imagen.offsetWidth; var division = (divisor-dividendo)/2; imagen.style.borderLeft = division+'px solid #333333'; imagen.style.borderRight=division+'px solid #333333';}

function swaplogo() { document.getElementById("logotipo").src="/docs/g2843.png"; }
function swapout() { document.getElementById("logotipo").src="/docs/g2844.png"; }