HASH(0x7d3eb53eb2b0)