HASH(0x7f5cece04bf0)