HASH(0x7d3ec147eb88)