HASH(0x7fee0c02aad0)