HASH(0x7f5ccdef94f8)