add hkp4