//abc162B
#include <malloc.h>
#include <math.h>
#include <stdio.h>
#include <string.h>
#include <stdlib.h>

int main(void) {
  int n,i=1;
  long long sum=1;
  scanf(" %d", &n);

  while(i<n){
    i+=1;
    if(i>n)break;
    sum+=i;

    i+=2;
    if(i>n)break;
    sum+=i;

    i+=3;
    if(i>n)break;
    sum+=i;

    i+=1;
    if(i>n)break;
    sum+=i;

    i+=3;
    if(i>n)break;
    sum+=i;

    i+=2;
    if(i>n)break;
    sum+=i;

    i+=1;
    if(i>n)break;
    sum+=i;

    i+=2;
    if(i>n)break;
    sum+=i;
  }
printf("%lld",sum);
}