HASH(0x7fede268ad80)