A biblioteca pública de uma cidade registrou 12.000 empréstimos no ano de 2025. Destes, 45% são empréstimos realizados por crianças. Quantos empréstimos foram feitos por crianças no ano de 2025?