pund , 9,300 riksmark och 18 , 800.francs,