#include <stdio.h>

int main(void)
{
long long n;
char s[1000000];
int i;
int f=0;
int g;
scanf("%lld",&n);
g=n;

printf("%d",(n/3*2)+(n/5*2));
return 0;
}