main(){long i=1,n,a=0;scanf("%ld",&n);for(;++i<=n;a+=i%5?i%3?0:2:i%3?2:4);printf("%ld\n",a);}