HASH(0x7d3ec8ce7f70)