gulden 10 , 000.