HASH(0x7f5ceace77f8)