HASH(0x7fede26f25e0)