The ratio of mammals to reptiles at the Pittsburgh Zoo is 12 to 5. If there are 72 mammals, how many reptiles are at the zoo?
a) 30
b) 18
c) 15
d) 25