HASH(0x7fede65ea2d8)