A média dos salários dos funcionários de uma empresa é R$ 1.700,00. Se metade desses funcionários receberem um aumento de R$ 300,00 e 12 funcionários receberem um aumento de R$ 170,00, a média salarial de todos os funcionários passará a ser R$ 1.870,00. O número de funcionários dessa empresa é