jsonpp.py

import json
import re
import sys

def repl(match):
  return ':"{0}"{1}'.format(
      match.group(1),
      match.group(2))

text = re.sub(r':([0-9A-Za-z]+)([,}])', repl, sys.stdin.readline())

print(json.dumps(json.loads(text), indent=4))