HASH(0x7fede2588718)