結果 : python cast char to int