In an animal shelter the ratio of dogs to cats is 5 to 3. There are 25 dogs. How many cats are at the shelter?