What was the population of Mexico City in 1970?

At the end of 1970, there were 8,623,156 people living in Mexico City.