#include <stdio.h>

int main(void){
        int n;
        scanf("%d",&n);
        if (n>14) printf("%d",n-7);
        else printf("%d",-1);
        return 0;
}