n;main(){n=scanf("%d",&n)>printf("%d",n>14?n-7:-1);}