There are 4 elephants at the zoo. The number of elephants is 5% of the total number of African mammals at the zoo.What is the total number of African mammals at the zoo?