HASH(0x7fee225dad48)