#include <stdio.h>

int main(){
	long N = 0;
	long i;
	long cnt = 0;
	
	scanf("%d", &N);
	
	printf("%d", (N / 5 * 2) + (N / 3 * 2));
	return 0;
}