hkdef