#include <iostream>
#include <iomanip>

typedef long long ll;

int main(void)
{
  std::cin.tie(0);
  std::ios::sync_with_stdio(false);
  std::cout << std::fixed << std::setprecision(8);
  int a;
  std::cin >> a;
  int x = a - 7;
  std::cout << (x <= 7 ? -1 : x) << std::endl;
  return 0;
}