If Pluto had been given a minor planet name upon its discovery, the number would have been about 1,164 rather than 134,340.
Если бы Плутон получил статус малой планеты сразу после открытия, то его номер был бы среди первых тысяч, а не после более чем 100 000.