#include <stdio.h>

int main(void)
{
	int a;
	int b;
	scanf("%d",&a);
	
	b=a-7;
	
	if(b<=7){printf("-1\n");}
	else{
		printf("%d\n",b);
		
	}
		
	return 0;
}