"Crater High is the unofficial name for the New Central Downs High School. As NCDHS isn't particularly catchy, everyone just calls it Crater High.
Central Downs - AKA 'the crater' - has a population of around a thousand, and this ten-person high-school class is the largest they've ever had.
There are twelve... but two of the guys haven't transfered in yet."