Click on the following link.
In Internet Explores you will see:

Go to the File menu of Internet Explorer and select the Save As... command:

You should get the following dialog box:

Change the Save as type pull down selection to Text File (*.txt):

Click on Save.
You will have saved to the Desktop a text file with the name Example1_2_TXT.