pund , 23,500 riksmark och 7,000 francs.