stdout encoding in python,print('\xc5\xc4\xd6'.encode('UTF8'))