HASH(0x7fb60858d3d0)