Zhengzhou is the provincial capital of Henan province. It had a population of nearly 9 million people in 2013.