Question: how much is the total allocation ?
Answer: 5994