Question: what is the tot region allocation ?
Answer: 12410