What is the name assigned to a file when it is saved?