bör erläggas 7000 kronor af köpeskillingen.