utgjorde folkmängden 9,458 ( 4 , 201 mank.