HASH(0x7f5ccab30e30)