HASH(0x7fede0057b68)