結果 : python format string with leading zeros