HASH(0x7fee1a5940d0)