äro före detta år kända , nemligen 1769 och 1801 ; vid den första af dessa var Norges folkmängd endast 748 , 000.