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

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