pund och 12,500 riksmark.