#include <stdio.h>

FILE* outputFile;

int number1;

int main () {

   

	number1 = 0;

	outputFile = fopen("addout.txt", "w");

	while (0 < 1) {

		

		number1++;

	fprintf(outputFile, "%d\n", number1);

	}

	

	

	

	fclose(outputFile);

    return 0;

}