#include <stdio.h>


int main(void){
	int n;
	scanf("%d",&n);

	if(n <= 14){	printf("-1\n");
	return 0;

	}else{		printf("%d\n", n - 7);
	return 0;
	}
    return 0;
}