#include <stdio.h>
int main (void){
long long int a, b;
  scanf("%d",&a);
  b = (a/3+a/5);
  printf("%d",2*b);

  return 0;
}