8,137 kronor ( mot öfver 10,000 kr.