HASH(0x7fede257a810)