HASH(0x7d3ec145d5c8)