11
 0
 17
 18855321
 34609610
 25
 9
 40000000
 17464436
 38450759
 395938
 39099999
 8
 4
 30426905
 7
 17082858
 46341
 46340
 39999996
 6
 12823666
 39999999
 5
 5626785
 22578061
 3766137
 13
 19863843
 24562258
 17590047
 33146037
 2870141
 10
 14
 25329968
 39999997
 31975828
 31988776
 31416948
 39268638
 614109
 24483528
 39999998
 15012490
 3107977
 2346673
 34714265
 12
 15
 16
 1059264
 743404

60
 1
 96
 106661800
 195781516
 140
 48
 226274168
 98793768
 217510336
 2239760
 221182992
 44
 20
 172120564
 36
 96635236
 262144
 262136
 226274144
 32
 72541608
 226274164
 28
 31829900
 127720800
 21304488
 72
 112366864
 138945112
 99504332
 187502300
 16235968
 56
 76
 143287936
 226274152
 180882596
 180955840
 177721092
 222136960
 3473924
 138499748
 226274156
 84923464
 17581372
 13274784
 196373536
 64
 84
 88
 5992100
 4205328

#include <bits/stdc++.h>
using namespace std;
int main() {
  long long n;
  while (scanf("%I64d", &n) != EOF) {
    if (n == 0) {
      printf("%d\n", 1);
    } else if (n == 1) {
      printf("%d\n", 4);
    } else {
      long long i = n - 1;
      int flag;
      long long k;
      for (i = n - 1; i >= 1; i--) {
        if (i * i * 2 <= n * n) {
          {
            k = i;
            if (n * n - (i * i * 2) > (i + 1) * (i + 1) * 2 - n * n)
              flag = 0;
            else
              flag = 1;
            break;
          }
        }
      }
      if (flag == 1)
        printf("%I64d", 8 * k);
      else
        printf("%I64d", 4 * (2 * k + 1));
    }
  }
  return 0;
}
