HASH(0x7f5ce10143c0)