HASH(0x7f5cedfcc4d8)