10000 ATA = 838.71 HKD

1.0 ATA (Automata Network) = 0.083871 HKD (Hong Kong Dollar)
1.0 HKD (Hong Kong Dollar) = 11.923 ATA (Automata Network)