#include <stdio.h>

int main(){
	long long val = 0;
	scanf("%lld",&val);
	
	long long ans = 0;
	ans = (val / 3 + val / 5) * 2;
	printf("%lld",ans);
}