HASH(0x7f5cfcd57d30)