HASH(0x7d3e654387c0)