HASH(0x7fede65d51d8)