pund , 142,600 riksmark och 13,800 francs,