the</font> <b><font style="font-size: 12pt; 
	 font-family: 'Times New Roman'; font-weight: bold;" size="4" face="Times New Roman">File 
 |</font></b> <b><i><font style="font-size: 12pt; font-family: 'Times New Roman'; 
							 font-weight: bold; font-style: italic;" size="4" 
							 face="Times New Roman">Save As</font></i></b> 
 <font style="font-size: 12pt; font-family: 'Times New Roman';" size="4" 
		 face="Times New Roman">menu option in the text editor to give 
 the file a different name and to speci