HASH(0x7ff44c07eb20)