Changed extensions to .txt for convenience