#include<stdio.h>

int main(void){
long long int N;

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

return 0;
}