HASH(0x7ff4380ad0e0)