HASH(0x7fedf6668938)