4,000 pund ( = 72,000 kr.