HASH(0x7f1311e81f20)