( nämligen 7000 kr.