#include <stdio.h>
/* copy input to output; 2nd version */
main()
{
int c;
printf("%d", EOF);
while ((c = getchar()) != EOF)
putchar(c);
}