During electrolysis of concentrated sodium chloride solution, the carbon anode decreases in size because carbon reacts with;