#include <bits/stdc++.h>
#ifdef CHECK_

int main() {
  auto x = get<int>();
  auto y = x < 15 ? -1 : x - 7;
  put(y);
  
  return 0;
}

#else

template<typename T>
T get() { return 0; }
template<>
int get() { int x; scanf("%d", &x); return x; }

template<typename T>
void put(T x) {}
template<>
void put(int x) { printf("%d\n", x); }


#define CHECK_
#include __FILE__
#endif