Em uma sessão de lançamento, um cinema vendeu os ingressos para adultos a R$ 25,00 e para crianças a R$ 12,00. Se a sala com 100 lugares foi completamente ocupada e o faturamento foi de R$ 2.006,00, quantos ingressos para crianças foram vendidos?