HASH(0x7f5cedef5c48)