// JavaScript Document
function cambia_imagen(id,url){document.getElementById(id).src=url+"img/"+id+"_sobre.png";}
function vuelve_imagen(id,url){document.getElementById(id).src=url+"img/"+id+".png";}