— Rikets hela folkmängd utgjorde den31