HASH(0x7fede26507d0)