and HKU1