HASH(0x7fede65e59c0)