O limite do cartão de crédito de João é de R$ 25.000,00, e ele está usando 15% desse montante. Nessa condição, qual a quantia de crédito, em reais, que ainda está disponível para João?