HASH(0x7f5cedef87e8)