HASH(0x7d3e615136e0)