#include<bits/stdc++.h>

#define REP(i,n) for (int i=0;i<(n);i++)
#define ll long long

using namespace std;

int dx[] ={0,1,0,-1};
int dy[]= {1,0,-1,0};

int main(){
  int A;
  scanf("%d",&A);
  int ans=0;
  if(A-7<=7){
  ans = -1;
  }else{
  ans=A-7;
  }
  printf("%d",ans);
}