#include <stdio.h>
/* Copy input to output: - 2nd ver */ 

int main() {
    int c; 
    while ((c = getchar()) != EOF) 
        putchar(c);   
        printf("\nInteger =    %d\n", EOF);
        printf("%d", EOF);
}