If the command is a command to save the file 342, a file in a proprietary format, a file such as an HTML file corresponding to this file, or both may be saved 344 using the name of the file specified when the file was opened in step 310 (the corresponding file is saved with a different extension than the file).