HASH(0x7fee0a5f6df0)