結果 : python format string to have leading zeros