HASH(0x7d3ec4cf8f00)