HASH(0x7fede65f8048)