har i medeltal under åren 1872 — 1881 utgjort 17,507 kr.