HK Asia Holdings Limited (01723.HK) - Pump