HASH(0x7ff43c0950d0)