#include<stdio.h>

int main(void){
long long int N;

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

return 0;
}