HASH(0x7fede665f3b0)