HASH(0x7ff4240a31f0)