docs: function processLines(begin, end) {
        var lines = ''
        var s = '';
        end -= 1;
        if (begin < end) {
  //        console.log(begin, end);
          var src = sources[scope.name];
          lines = src.slice(begin, end);
          while (lines.length > 0 && lines[0] == '')
            lines = lines.slice(1, lines.length);
          if (lines.length > 0) // && !(lines.length == 1 && lines[0] == ''))
          {
            var s1 = lines.join('\n');
  //          s1 = s1.replace(/\</g, "&lt;").replace(/\>/g, "&gt;");
            s += '<pre style="padding-left: 50px; display: none;"><code  class="language-'+scope.extlang+'" data-nodes="show" data-code="hide">'+htmlEscape(s1)+'</code></pre>' //prism
          }
  //          s += '<pre style="padding-left: 50px;"><code>'+lines.join('\n')+'</code></pre>'
        }
        // EXECUTOR.HOOK: afterProcessLines [
        s = executor.hook('afterProcessLines', s, [sources, scope, begin, end, lines])
        // EXECUTOR.HOOK: afterProcessLines ]
  
        return s;
      }