#include<stdio.h>

int read_ints(const char* file_name)
{
  FILE* file = fopen (file_name, "r");
  int i = 0;
  i = getw(file);
  fclose (file);        
  return i;
}

int write(const char* file_name, int counter)
{
	FILE* file = fopen (file_name, "w");
	putw(counter, file);
    fclose(file) ; 
}

int main()
{
	char three[20] = "three.txt";
	char four[20] = "four.txt";
	char five[20] = "five.txt";
	write("three.txt", 0);
	write("four.txt", 0);
	write("five.txt", 0);	
	int counter = 0;
	int inp = 0;
	scanf("%d", &inp);
	for(int x=0; x<=inp; x++){
		if(x%3 == 0){
			counter = read_ints("three.txt");
			counter++;
			write("three.txt", counter);
		}
		if(x%4 == 0){
			counter = read_ints("four.txt");
			counter++;
			write("four.txt", counter);
		}
		if(x%5 == 0){
			counter = read_ints("five.txt");
			counter++;
			write("five.txt", counter);
		}
	}
	printf("\n3: %d, 4: %d, 5: %d", read_ints("three.txt")-1,read_ints("four.txt")-1,read_ints("five.txt")-1);
	return 0;
}