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