HASH(0x7d3ec143b1c0)