Is it possible to specify file name of export

Summary: Is it possible to specify the file name of exported Eloqua Contacts/Activities?

Content (please ensure you mask any confidential information):

Is it possible to specify the file name format of exported files from Eloqua. Specifically the 0400…sequence in this example: eloqua_export_contacts2025-09-18 040000.000.csv

The first part of the file name seems standard+date. How is the number sequence at the end generated?

Version (include the version you are using, if applicable):

Code Snippet (add any code snippets that support your topic, if applicable):