#include<bits/stdc++.h>
int main(){
    int n;std::cin>>n;
    std::cout<<(n<=14?-1:n-7)<<std::endl;
}