結果 : python3 format string leading zeros