refine JSON.js