# include <stdio.h>

int main ( )
{
  char filename[81];
  int i;

  for ( i = 0; i < 12; i++ )
  {
    sprintf ( filename, "file%03d.txt", i );
    printf ( "File name #%i = \"%s\".\n", i, filename );
  }
  return 0;
}