#include <stdio.h>
int main (void){
long long int a,c;
scanf("%lld",&a);
c=a/3+a/5;
printf("%lld",2*c);
return 0;
}