HASH(0x7d3e71417b18)