There are 10 crocodiles and 10 turtles in the pool. How many reptiles are in the pool?