HASH(0x7f5cf4e556d0)