10000 DKK to TON Forex Currency Exchange Rate Conversion.