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

  return 0;
}