HKD4.16bn