HASH(0x7fede65f3fb8)