// JavaScript Document

var visto = null;

function ver(num) {
  obj = document.getElementById(num);
  obj.style.display = (obj==visto) ? 'none' : 'table';
  if (visto != null)
    visto.style.display = 'none';
  visto = (obj==visto) ? null : obj;
}