“ dir 7= a1 ^ Hdan