結果 : python create string from int with leading zeros