The ratio of the number of adults to the number of children in a library is 12:5. If there are 45 children in the library, how many adults are there at the library?