// yukicoder: No.395 永遠の17歳 // 2019.4.15 bal4u #include int main() { int A; scanf("%d", &A); A -= 7; if (A <= 7) puts("-1"); else printf("%d\n", A); return 0; }