HASH(0x7d3eb93df2e0)