HASH(0x7fee0258d3c8)