HASH(0x7fede660d168)