var IE = navigator.appName.toLowerCase().indexOf("microsoft") > -1;
  var Mozilla = navigator.appName.toLowerCase().indexOf("netscape") > -1;
  var ventana=0;
  
  function ir(url) {
    var obj = document.getElementById("contenido");
    nombreImagenes=url;
  }

  function abrir(url) {
    ventana = window.open(url, "contenido");
  }