while->for