/* File: fig05_01.cpp */
#include <iostream>

int main(){
 int ct = 1;
 while(ct <= 10){
  std::cout << ct << " ";
  ct++;
 };
 std::cout << std::endl;
 return 0;
};

