#include int main() { int a; scanf("%d", &a); printf("%d\n", a < 15 ? -1 : a - 7); return 0; }