結果 : python string format int with leading zeros