HASH(0x7ff41408ef78)