riksmark ooh 6,000 francs.