— Rikets folkmängd befanS den31