HASH(0x7fede65ce7c0)