結果 : python format string int with leading zeros