#include<stdio.h>
int main()
{
	//int i;
	printf("el valor de EOF es:  %d \n", EOF);

	return 0;
}