HASH(0x76103de31db0)