#include <stdio.h>
int fflush(FILE* file)
{
	if ((file->mode & 3)==FILE_OPEN_READ)
  		return 0;
  	return(EOF);
}