A média dos salários de 500 funcionários de uma empresa é igual a R$ 2.800,00. Para 12% dos funcionários homens foi dado, a cada um, aumento de R$ 200,00, e a soma dos aumentos dados para as mulheres foi R$ 8.500,00, de maneira que a média dos salários dos 500 funcionários passou a ser R$ 2.831,40. O número de mulheres nessa empresa é