fprintf(f, "%s", s);