HASH(0x7f5ccee23f50)