結果 : casting char to int python