HASH(0x7fee0855b6e0)