//$Id$
#include <stdio.h>

int
main(int argc, char* argv[])
{

  for(int i=0; i<1000; i++)
    printf ("%09d\n",i);
}