HASH(0x7ff41405da00)