HASH(0x7fee225d5648)