HASH(0x7fede6690f98)