| $Encoder.bodyEscape($ResourceBundle.getString('DocumentFilter.MinDateColon')) | $MINDATEYEAR $Encoder.bodyEscape($ResourceBundle.getString($month)) $MINDATEDAY $MINDATEHOUR:$MINDATEMINUTE | 
  
    | $Encoder.bodyEscape($ResourceBundle.getString('DocumentFilter.MinFileSizeBytesColon')) | $Encoder.bodyEscape($MINFILESIZE) | 
  
    | $Encoder.bodyEscape($ResourceBundle.getString('DocumentFilter.MaxFileSizeBytesColon')) | $Encoder.bodyEscape($MAXFILESIZE) | 
  
    | $Encoder.bodyEscape($ResourceBundle.getString('DocumentFilter.AllowedMIMETypesColon')) | $Encoder.bodyEscape($MIMETYPES) | 
  
    | $Encoder.bodyEscape($ResourceBundle.getString('DocumentFilter.AllowedFileExtensionsColon')) | $Encoder.bodyEscape($EXTENSIONS) |