This compressed file is generated by the user using "Mass Download" to download files. The file name consists of a five-digit number. I'm curious to know how the file name of the compressed file is generated. Is it random or is there a mechanism to determine it? Can I modify the pattern for generating the name?