Update json_encode.js