HASH(0x7fee3052c520)