Какое число получится, если число 12 увеличить на 5?