Encoding: The converter between different encodings