In a survey, children were asked what flavor of ice cream they favored. 600 children, or 60% of the respondents, said chocolate was their favorite. How many children responded in the survey?