HASH(0x7d3e740907c0)