#include<stdio.h>
main(){
	int n, x3, x5, ans;
	scanf("%d",&n);
	x3=n/3;
	x5=n/5;
	ans=2*x3+2*x5;
	printf("%d\n",ans);
	return 0;
}