結果 : how to cast an integer to a string in python