while(putchar(getchar()) != EOF);