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