12 000 riksmark oeh 17 000 francs.