escape double quotes for json in python,json.dumps(s)