HASH(0x7f1311e85d68)