HASH(0x7fede4058998)