HASH(0x7f5ce840caa0)