HKD13.5bn