— Rikets folkmängd utgjorde den31