112,000 pund sterl . , hvartill kommer tributen till Porten , utgörande 92,000 pund.