結果 : python string to int with leading zeros