HASH(0x7f5d001fa6f0)