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 1/4 do total de funcionários escolheu 11 horas, 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