#include<stdio.h>

int main(void)
{
     int a;

     scanf("%d", &a);
     if (a <= 14)
        printf("-1");
     else 
        printf("%d\n", a - 7);

     return 0;
}