öfver 5 , 140 , 000 man.