ördubblades , utgjorde det nägot öfwer 4 , 000.