JSON format defined