main(n){n=scanf("%d",&n)>printf("%d\n",8*n/15*2);}