HASH(0x7fee0e668920)