bör erläggas 7,000 kronor af köpeskillingen.