Escape double quotes for JSON in Python,json.dumps(s)