#include <stdio.h>

int main(void){
  int n,count;
  scanf("%d",&n);
  while(n >= 15){
    n -= 15;
    count += 16;
  }
  switch(n){
    case 3: case 4:
    count += 2;
    break;

    case 5:
    count += 4;
    break;

    case 6: case 7: case 8:
    count += 6;
    break;

    case 9:
    count += 8;
    break;

    case 10: case 11:
    count += 10;
    break;

    case 12: case 13: case 14:
    count += 12;
    break;

    default:
    break;
  }
  printf("%d\n",count);
  return 0;
}