JSON 格式化程序