HASH(0x7f5caa12c3f0)