Uma biblioteca comprou manuais e livros e gastou um total de R$ 624,00. Pelos 15 livros, que custam o mesmo preço, pagou R$ 240,00. Se cada manual custou o dobro do que pagou em cada livro, a quantidade de manuais comprados é igual a