In a pond there are five fish for every three frogs. There are 12 frogs in total. How many fish are there?
20