HASH(0x7fee0a5742d0)