A entrada em um parque de diversões custa R$ 1,50 para um...

A entrada em um parque de diversões custa R$ 1,50 para uma criança e R$ 4,00 para um adulto. Se, em um dia, entraram 1.700 pessoas no parque e foram arrecadados R$ 3.800,00 com as entradas, então o número de crianças que entraram no parque nesse dia foi