HASH(0x7fee078712e0)