HASH(0x7fede26c61d8)