HASH(0x7fede264f7a0)