HASH(0x7ff44007ad30)