function Hi(ID) { document.getElementById(ID).style.border = 'solid #fff 2px'; }
function Lo(ID) { document.getElementById(ID).style.border = 'solid #e0e0e0 2px'; }
function Zoom(Img) {
  document.M.src = mapa_bl.src;
}