HASH(0x7f5cedef66e8)