HASH(0x7d3eb93d30d0)