10000 ETC to DKK Forex Currency Exchange Rate Conversion.