HASH(0x7fedb9b36ec0)