HASH(0x7fede665f4d8)