added json function with Pygments.org