12,000 riksmark ocb 75,300 francs.