#include<stdio.h>

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

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

return 0;
}