="4" face="Times New Roman">From 
 the</font> <font style="font-size: 12pt; font-family: 'Times New Roman';" 
					 size="4" face="Times New Roman">text editor</font><font 
	 style="font-size: 12pt; font-family: 'Times New Roman';" size="4" 
	 face="Times New Roman">, you can make changes to the file such as 
 specifying a format. Experiment with the menu options in the</font> <font 
	 style="font-size: 12pt; font-family: 'Times New Roman';" size="4" 
	 face="Times New Roman">editor</font><i><font style="fo