HASH(0x7fee3051e388)