HASH(0x7d3ec145a1c8)