HASH(0x7d3e7cd212c0)