372 Python3 text encoding