pund och 4,000 riksmark.