HASH(0x7f5cecc2cfe0)