#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
#define rep(i,n) for(int i=0;i<n;i++)

int main(){
  int a;
  cin>>a;
  if(a<15){
    cout<<-1<<endl;
    return 0;
  }
  cout<<a-7<<endl;
  return 0;
}