let idDefHash = IH.create 16