HASH(0x7fede2667d40)