HASH(0x7fede6676738)