The Menu `File' contains the following options: