Rikets folkmängd utgjorde , enligt officiella uppgifter , d.