n><pre id='txtContents' style='overflow: auto;'></pre>";
      var t = new XMLHttpRequest;
      t.onload = function () {
         $("txtContents").textContent = this.responseText
      }, t.open("GET", e), t.send()
   }

   function s(e) {
      if (void 0 !== (e = /(?:\.([^.]+))?$/.exec(e)[1])) switch (e.toLowerCase()) {
         case "txt":
         case "htm":
         case "html":
         case "js":
         case "json":
         case "cpp":
         case "css":
         case "xml":
         case "yam