HASH(0x7fede26f3958)