HASH(0x7d3eb9433d40)