under 1885 — 86 12,462 kr.