Norges folkmängd uppgick den 31 Dec.