HASH(0x7f5cf40bf6e0)