Вторая сетка и выход на пенсию

Здравствуйте, подскажите пожалуйста, если человек отработал 12,5 лет по второй сетке, он выходит на пенсию не в 60, а в 55 лет. Вопрос, 12,5 лет это включая больничные и отпуска? Если можно, приводите номера статей трудового кодекса, где об этом сказано. Заранее всем спасибо.