結果 : python format string integer with leading zeros