af allmänningen till 9,000 kr.