riksmark och 9,000 francs , tillsammans omkring 85,000 kr.