encode the json