HASH(0x7d3eb53d1da0)