added functions DOM.parseJSON and DOM.stringifyJSON