HASH(0x7fee225d3480)