HASH(0x7d3ec137e1c0)