HASH(0x7fee087f98d0)