10000 DKK to CRC Forex Currency Exchange Rate Conversion.