HASH(0x7fee025d0e70)