till cirka 12,500 pund , 163,000 riksmark , 333,000 francs och 6.000 holl , gulden , tillsammans omkring 625,000 kroner.