HASH(0x7fede26f3118)