code: function runEx(cod1) {
      cod = document.getElementById(cod1)
      var code = cod.value;
      if (code != "") {
          var newwin = window.open('', '', '');
          newwin.opener = null
          newwin.document.write(code);
          newwin.document.close();
      }
  }
docs: AJAX_END 运行代码