HASH(0x7fede65c9f68)