Solve the following.
There are 25,000 books in a library. If 15% of them are reference books, find the number of reference books in the library.