#include<stdio.h>
int main(){
	int n;
	scanf("%d",&n);
	printf("%d\n",n<=14?-1:n-7);
}