HASH(0x7f5ccfc1bef8)