HASH(0x7f1311e8b3c0)