12,000 pund och 16,000 riksmark.