HASH(0x7d3e854ddf30)