what is the capacity of the stadium whose capacity previously exceeded 25,000 ?
9,000