// No.395 永遠の17歳
// https://yukicoder.me/problems/no/395
//

#include <iostream>
using namespace std;

int main() {
    std::cin.tie(nullptr);
    std::ios::sync_with_stdio(false);
    
    int A;
    cin >> A;
    
    int ans = A - 7;
    if (ans <= 7)
        cout << -1 << endl;
    else
        cout << ans << endl;
}