HASH(0x7ff43405ce38)