HASH(0x7f5ce9ede3d0)