HASH(0x7fede25ecc48)