10000 LION = 7589.4 CRC

1.0 LION (Loaded Lions) = 0.75894 CRC (Costa Rican Colon)
1.0 CRC (Costa Rican Colon) = 1.3176 LION (Loaded Lions)