HASH(0x7fee025d27e8)