HASH(0x7fede0f68b58)