将JavaScript日期格式化为JSON DeSeriailization的字符串 [英]Formatting a JavaScript date into a string for JSON DeSeriailization