HASH(0x7ff420517868)