modified jsonToStr in jsontools.js