change from HTML file to txt file