>>922
これでいいのかな?
int main(void) {
int i;
FILE *fp;
fp = fopen("abc.txt", "w");
if(fp == NULL) {
return 0;
}

for(i = 1; i <= 5000; i++) {
fprintf(fp, "ABC=%04d\n", i);
}
fclose(fp);
return 0;
}