något öfver 9,000 kr.