#include<stdio.h>

int main(void){
  int n;
  scanf("%d",&n);
  if(n>=15){
    printf("%d\n",n-7);
  } else {
    printf("-1\n");
  }
  return 0;
}