HASH(0x7fede65cddd8)