HASH(0x7fede65ec0c0)