kr. , enligt andra uppgifter till blott 9,000 kr.