allmänningskassan , 800 kr.