#include <stdio.h>
       char *fgets(char *s, int size, FILE *stream);