If the mean of five numbers is 25, what is their sum?