HASH(0x7ff4380d08d8)