A can of Coke costs HKD$9.00 in Hong Kong.