Use JSON encode.