HASH(0x7f5cfad3c1f0)