HASH(0x7fee200e56d0)