HASH(0x7fee1a67c510)