We have to encode and decode JSON...