HASH(0x7fee3b8f5de0)