Syntax of json file