9,400 kr. , bevillningstaxerad för 18,000 och saluvärderad till 10,000 kr.