The ratio of cats to dogs in the Dickinson Animal Shelter is 3 to 5. There are 12 cats in the shelter. What is the total number of animals in the animal shelter?