What is the empirical formula for the product that is formed when K and Cl2 combine?