#include<stdio.h>

int main(void){
unsigned long long int  N;

scanf("%lld",&N);
printf("%lld",(N/3*2)+(N/5*2));

return 0;
}