HASH(0x7d3ea25ddbd8)