— Rikets folkmängd uppgick den31