HASH(0x7fee3052b658)