HASH(0x7d3e800a40c0)