結果 : python format string number with leading zeros