10,250 pund , 7,500 francs.