VMS MAIL has files like MAIL$45870BB2000500B0.MAI;1. The digits are not random, but are related to (at least) the date and time. What is the exact format? Has it changed in the last 25 years?