HASH(0x7d3ead1790b0)