結果 : python fill int with leading zeros