#include <stdio.h>
int main(void){

  int N,i,z=0;

  scanf("%d",&N);

  for(i=1;i<=N;i++){
    if(i%3==0){
      z+=2;
    }
    if(i%5==0){
      z+=2;
    }
  }

  printf("%d\n",z);

return 0;
}