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

  return 0;
}