HASH(0x7fede4080298)