HASH(0x7fee025acf18)