Speaking of which, [@Flynn], what is the total population of the Grand Kingdom?