HASH(0x7fee025db3b0)