10000 HOT = 24.875 HKD

1.0 HOT (Holo) = 0.0024875 HKD (Hong Kong Dollar)
1.0 HKD (Hong Kong Dollar) = 402.01 HOT (Holo)