HASH(0x7f5cedfcc5e0)