HASH(0x7fee245d39b8)