#include <stdio.h>

/* copy input to output; 2nd version */ 
main()
{
  int c;

  printf("%d", EOF);
  while ((c = getchar()) != EOF) 
    putchar(c);
}