main(a){for(;~scanf("%d\n",&a);vprintf())a=a*15./8-!(a*5+1&4);}