Question: What was the population in 1900 of the city that shares a county with Summit?
Answer: 7,531