HASH(0x7d3eb53dda70)