HASH(0x7d3eb942ee20)