10000 RED = 533.67 BHD

1.0 RED (RedStone) = 0.053367 BHD (Bahraini Dinar)
1.0 BHD (Bahraini Dinar) = 18.738 RED (RedStone)