en folkmängd as 812.