HASH(0x7fede25e21f0)