HASH(0x7f5ccab57c80)