How many people were gassed?