both in txt and json files (formats?)