The ratio of the mass of magnesium to fluorine in magnesium fluoride is 1.33: 1. A sample of magnesium fluoride produces 17.2 g of magnesium upon decomposition. How much fluorine is formed?​