HASH(0x7f5cedfb23f8)