formatted json constants