file extension, id in json