JSON format into rec format