ну да, все верно.

или комбинаторикой:
Р_12/12!