— Rikets folkmängd utgjorde , enligt chefensför