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