Which of the following is a product of the electrolysis of water?