25 RED = 16.073 DKK

1.0 RED (RedStone) = 0.6429 DKK (Danish Krone)
1.0 DKK (Danish Krone) = 1.5554 RED (RedStone)