I want to know the answer to the following question:
How many people does the de Jong Concert Hall seat?
All the background I'm provided with is that "The de Jong Concert Hall seats 1282 people and is named for Gerrit de Jong Jr.". Is that enough to answer the question?