converted extension from .txt to .json