converted from .html to .txt