10000 RED = 12986.74 NOK

1.0 RED (RedStone) = 1.2987 NOK (Norwegian Krone)
1.0 NOK (Norwegian Krone) = 0.77002 RED (RedStone)