5000 DOT = 2837235.45 CRC

1.0 DOT (Polkadot) = 567.45 CRC (Costa Rican Colon)
1.0 CRC (Costa Rican Colon) = 0.0017623 DOT (Polkadot)