HASH(0x7f5ccdd53a80)