function readTextFile() {
  var request = new XMLHttpRequest();
  request.open('GET', 'Codes.code', true);
  request.send(null);
  request.onreadystatechange = function () {
      if (request.readyState === 4 && request.status === 200) {
          var type = 'text/plain';
          if (type.indexOf("text") !== 1) {
              return request.responseText;
          }
      }
  }
  }