HASH(0x7fede257efe8)