HASH(0x7fede0003898)