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