HASH(0x76101c07ef80)