docs: function(input, null_text) {
        if (input == null || input === undefined) return null_text || '';
        if (input instanceof(Date)) return input.toDateString();
        if (input.toString) return input.toString().replace(/\n/g, '<br />').replace(/''/g, "'");
        return '';
      }