HASH(0x7ff4280f2db0)