HASH(0x7fee06674e00)