HASH(0x7d3ec4ce03c0)