HASH(0x7fee2258df08)