Точно. Теперь осталось так же аккуратно пересчитать число номеров типа xxyyzt.