Os funcionários de uma empresa tiveram que optar pelo...

Os funcionários de uma empresa tiveram que optar pelo horário de almoço mais conveniente: 11 horas, 12 horas e 13 horas. Cada funcionário escolheu apenas um horário. Sabe-se que $\frac{1}{4}$ do total de funcionários escolheu 11 horas, $\frac{3}{5}$ do total escolheu 12 horas, e os demais, 12 funcionários, escolheram 13 horas. O número de funcionários que escolheram 12 horas é igual a