docs: function dquote(s) {
      var sq = (s.indexOf('\'') >= 0);
      var dq = (s.indexOf('"') >= 0);
      if (sq && dq) {
          s = s.replace(/"/g, '\\"');
          dq = false;
      }
      if (dq) {
          s = '\'' + s + '\'';
      }
      else {
          s = '"' + s + '"';
      }
      return s;
  }