HASH(0x7ff4380721e8)