HASH(0x76103de43d18)