HASH(0x7f5cedfcc3e0)