Encode  as a string