1872 varit så stort ; då utgjorde det 9,235 ( eller 05 på hvarje 1000-tal ).